Face |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12883-12884 | |
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 12881-12881 | Face e' uma sub-classe de AnimalAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12882-12882 | Face e' uma sub-classe de Parte do Corpo |
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 12929-12940 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12900-12907 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12909-12915 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12886-12891 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12893-12898 |
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 13007-13015 |
|
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 12922-12927 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11797-11802 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11425-11430 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12196-12201 | |
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 3519-3532 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5472-5482 |
statement |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1854-1854 | FacialParalysis e' uma sub-classe de ParalysisFn Face |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5100-5100 | Mask e' uma sub-classe de CoveringFn Face |