Head
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12867-12868 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 493-493 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 111-111 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12865-12865 | Head e' uma sub-classe de AnimalAnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12866-12866 | Head e' uma sub-classe de Parte do Corpo |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1438-1438 | initialPart Eyebrow and Head |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1487-1487 | initialPart Forehead and Head |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 55-55 | initialPart HeadBone and Head |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27684-27684 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27683-27683 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27682-27682 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 510-516 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11487-11497 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11499-11508 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13063-13067 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5150-5158 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19337-19342 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12148-12153 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12114-12119 | |
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 12875-12880 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5148-5148 | Hat e' uma sub-classe de CoveringFn Head |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19333-19333 | Headache e' uma sub-classe de PainFn Head |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4360-4360 | Helmet e' uma sub-classe de CoveringFn Head |