CoveringFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29715-29716 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29713-29713 | O argumento numero 1 de CoveringFn e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29712-29712 | CoveringFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29714-29714 | Os valores retornados por CoveringFn sao as sub-classes de WearableItem |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3138-3138 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3137-3137 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3136-3136 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64711-64711 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29718-29727 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4751-4751 | Glove e' igual a CoveringFn Hand |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5147-5147 | Hat e' uma sub-classe de CoveringFn Head |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4368-4368 | Helmet e' uma sub-classe de CoveringFn Head |
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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5259-5259 | Shirt e' uma sub-classe de CoveringFn Torso |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5181-5181 | Shoe e' uma sub-classe de CoveringFn Foot |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5270-5270 | Sleeve e' uma sub-classe de CoveringFn Arm |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5244-5244 | Sock e' uma sub-classe de CoveringFn Foot |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5166-5166 | Trousers e' uma sub-classe de CoveringFn Leg |
![]() |
![]() |