Face |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12911-12912 | |
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 12909-12909 | Face est une sous-classe de AnimalAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12910-12910 | Face est une sous-classe de partie du corps |
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 12957-12968 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12928-12935 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12937-12943 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12914-12919 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12921-12926 |
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 13035-13043 |
|
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 12950-12955 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11825-11830 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11453-11458 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12224-12229 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3143-3148 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3496-3509 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5467-5477 |
statement |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1854-1854 | FacialParalysis est une sous-classe de ParalysisFn Face |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5095-5095 | Mask est une sous-classe de CoveringFn Face |