Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Biped
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Biped Animal) | Mid-level-ontology.kif 5016-5016 | Biped is a subclass of animal |
| (documentation Biped EnglishLanguage "An Animal that walks on two Legs (at least when FullyFormed and not exhibiting some DiseaseOrSyndrome).") | Mid-level-ontology.kif 5017-5018 | Biped is a subclass of animal |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Biped "biped") | domainEnglishFormat.kif 64541-64541 |
| antecedent |
|
|
| (=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (not (equal ?L1 ?L2)) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 5020-5036 | If X is an instance of biped, Y is an instance of ambulating, and X is an agent of Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of leg (3) W is an instance of leg (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X (8) Z is an instrument for Y (9) W is an instrument for Y has the modal force of likely |
| consequent |
|
|
| (=> (and (instance ?C Crawling) (agent ?C ?A)) (instance ?A Biped)) |
Mid-level-ontology.kif 5010-5014 | If X is an instance of crawling and Y is an agent of X, then Y is an instance of biped |
|