Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 15888-15888 WearableItem e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15900-15900 Roupa 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. Economy.kif 6090-6090 PersonalAdornment 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. ComputerInput.kif 503-503 Earphone e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3420-3420 SafetyHarness e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3445-3445 HearingProtection e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3479-3479 ProtectiveEyewear e' uma sub-classe de WearableItem
No TPTP formula. May not be expressible in strict first order. Cars.kif 3527-3527 Respirator e' uma sub-classe de WearableItem


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