Face
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12884-12885 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 88-88 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12882-12882 | 面对 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12883-12883 | 面对 是 身体部位 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23092-23092 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23091-23091 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23090-23090 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12930-12941 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12901-12908 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12910-12916 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12887-12892 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12894-12899 |
consequent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1738-1751 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13008-13016 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12923-12928 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11798-11803 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11426-11431 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12197-12202 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3150-3155 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3511-3524 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5473-5483 |
statement |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1854-1854 | FacialParalysis 是 ParalysisFn 面对 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5101-5101 | Mask 是 对于 面对 的 covering 的 subclass |