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 15889-15890
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 15888-15888 WearableItem est une sous-classe de artefact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29726-29726 Les valeurs retourn�es par CoveringFn sont des sous-classes de WearableItem
No TPTP formula. May not be expressible in strict first order. Merge.kif 15900-15900 V�tement est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 503-503 Earphone est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4457-4457 FitbitDevice est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3445-3445 HearingProtection est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Economy.kif 6116-6116 Jewelry est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Economy.kif 6090-6090 PersonalAdornment est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3479-3479 ProtectiveEyewear est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3527-3527 Respirator est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3420-3420 SafetyHarness est une sous-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62595-62595
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62594-62594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62593-62593

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15925-15925 Le nombre 2 argument de wears est une instance de WearableItem

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15892-15898


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