HumanAdult(人類成人) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 190-191 | |
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 3121-3121 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3118-3118 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3119-3119 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 185-185 | 子類 人類成人 and Human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 188-188 | 子類 人類成人 and LegalAgent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28839-28839 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28838-28838 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28837-28837 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 367-385 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 211-217 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1270-1278 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5915-5924 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 193-199 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 227-231 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 201-209 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 219-225 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 233-239 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2883-2892 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2925-2940 |
|