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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoveringFn
CoveringFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29778-29779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29776-29776 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 29775-29775 CoveringFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29777-29777 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 64713-64713

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29781-29790

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4728-4728 Glove e' igual a CoveringFn Hand
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5142-5142 Hat e' uma sub-classe de CoveringFn Head
No TPTP formula. May not be expressible in strict first order. Cars.kif 4345-4345 Helmet e' uma sub-classe de CoveringFn Head
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5095-5095 Mask e' uma sub-classe de CoveringFn Face
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5254-5254 Shirt e' uma sub-classe de CoveringFn Torso
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5176-5176 Shoe e' uma sub-classe de CoveringFn Foot
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5265-5265 Sleeve e' uma sub-classe de CoveringFn Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5239-5239 Sock e' uma sub-classe de CoveringFn Foot
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5161-5161 Trousers e' uma sub-classe de CoveringFn Leg


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



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