This document is executable by WebKB-1.
To try that, click here
or copy paste the command "run ../../kb/tests/testFE.html;" (without the quotes) in
WebKB-1's Knowledge-based Information Retrieval/Handling Tool.
The results are printed in the Conceptual Graph Linear Form.
Part(Thing,Thing) /* there is no predefined type and the signature of Part is too general to be guessed by WebKB */; A cat is watching a mouse and is on a table, on a mat and near a box. Many cats are watching a mouse that is on a table which is on a mat that is near a box. Tom is a cat. Tom is watching a mouse that is on a table, and is near a box with content a cup with content some milk. A square is a rectangle that has for part 4 sides with measure a certain length. A model_of_problem_solving_expertise is a model. A typical KADS1_conceptual_model has for part {a model_of_problem_solving_expertise, a model_of_communication_expertise, a model_of_cooperation_expertise}. A typical knowledge_design has for input a KADS1_conceptual_model and has for output a knowledge_base_system. //on def;spec [Thing];
Is there a cat that is watching a mouse ? Is there a cat named Tom ? Is there a thing which is part of a thing ? ? BinaryRel;