Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoveringFn

 Sigma KEE - CoveringFn
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners