HumanChild(human child)![]() ![]() ![]() ![]() | ![]() | baby, bambino, child, fry, kid, little, minor, nestling, nipper, shaver, small, small_fry, tiddler, tike, toddler, tot, tyke, yearling, youngster |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 270-271 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3127-3127 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3129-3129 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3128-3128 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3124-3124 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2965-2965 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3126-3126 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 269-269 | Human child is a subclass of human youth |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 343-343 | Boy is a subclass of human child |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 354-354 | Girl is a subclass of human child |
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 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28868-28868 | Human baby is a subclass of human child |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28867-28867 | Human baby is a subclass of human child |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28866-28866 | Human baby is a subclass of human child |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 840-847 |
|
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 358-363 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 347-352 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 287-292 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 273-277 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 294-302 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 304-311 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2546-2564 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2637-2646 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2914-2925 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1037-1043 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4823-4840 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 987-995 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1883-1892 |
|
![]() |
![]() |