Biped(biped) |
appearance as argument number 1 |
![]() |
(documentation Biped EnglishLanguage "An Animal that walks on two Legs (at least when FullyFormed and not exhibiting some DiseaseOrSyndrome).") | Mid-level-ontology.kif 4851-4852 | |
(subclass Biped Animal) | Mid-level-ontology.kif 4850-4850 | Biped is a subclass of animal |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Biped "biped") | domainEnglishFormat.kif 64532-64532 |
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 4854-4870 |
|
consequent |
![]() |
(=> (and (instance ?C Crawling) (agent ?C ?A)) (instance ?A Biped)) |
Mid-level-ontology.kif 4844-4848 |
![]() |
![]() |