Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Biped(biped) |
| appearance as argument number 1 |
|
| s__subclass(s__Biped,s__Animal)
|
Mid-level-ontology.kif 5016-5016 | Biped is a subclass of animal |
| s__documentation(s__Biped, s__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 |
|
|
| s__termFormat(s__EnglishLanguage, s__Biped, "biped") | domainEnglishFormat.kif 64541-64541 |
| antecedent |
|
|
| ! [V__A : $i,V__W : $i] : (((s__instance(V__A, s__Biped) & s__instance(V__W, s__Ambulating) & s__agent(V__W, V__A)) => s__modalAttribute(( ? [V__L1:$i, V__L2:$i] : ((s__instance(V__L1, s__Leg) & s__instance(V__L2, s__Leg) & ~(V__L1 = V__L2) & s__part(V__L1, V__A) & s__part(V__L2, V__A) & s__instrument(V__W, V__L1) & s__instrument(V__W, V__L2)))), s__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 |
|
|
| ! [V__A,V__C] : ((s__instance(V__A,s__AutonomousAgent) => ((s__instance(V__C,s__Crawling) & s__agent(V__C,V__A)) => s__instance(V__A,s__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 |
|