HumanBaby(human baby)![]() ![]() | ![]() | babe, baby, infant |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 366-366 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3122-3122 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3121-3121 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3123-3123 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2964-2964 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 31-31 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 365-365 | Human baby is a subclass of human child |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28856-28856 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28855-28855 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28854-28854 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1278-1286 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1901-1911 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 368-373 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 375-383 |
|
consequent |
![]() |
![]() |
![]() |