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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WearableItem

 Sigma KEE - WearableItem
WearableItem

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3612-3613
No TPTP formula. May not be expressible in strict first order. Merge.kif 15935-15936
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8793-8793
No TPTP formula. May not be expressible in strict first order. Merge.kif 15934-15934 WearableItem e' uma sub-classe de Artefato

appearance as argument number 2
-------------------------


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
No TPTP formula. May not be expressible in strict first order. Merge.kif 15972-15972 Roupa e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 503-503 Earphone e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4457-4457 FitbitDevice e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3430-3430 HearingProtection e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Economy.kif 6116-6116 Jewelry e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Economy.kif 6090-6090 PersonalAdornment e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3464-3464 ProtectiveEyewear e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3512-3512 Respirator e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3405-3405 SafetyHarness e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62597-62597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62596-62596
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62595-62595

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15997-15997 O argumento numero 2 de wears e' uma instancia de WearableItem

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15938-15944


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