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

Formal Language: 



Term 1: Term 2:

s__instance(s__WearableItem,s__SetOrClass)

s__instance(s__Artifact,s__SetOrClass)

s__subclass(s__WearableItem,s__Artifact)

Merge.kif 15117-15117 Wearable item is a subclass of artifact
s__instance(s__Clothing,s__SetOrClass)

s__instance(s__WearableItem,s__SetOrClass)

s__subclass(s__Clothing,s__WearableItem)

Merge.kif 15129-15129 Clothing is a subclass of wearable item
s__instance(s__WearableItem,s__SetOrClass)

s__instance(s__PersonalAdornment,s__SetOrClass)

s__subclass(s__PersonalAdornment,s__WearableItem)

Economy.kif 4973-4973 Personal adornment is a subclass of wearable item
s__instance(s__WearableItem,s__SetOrClass)

s__instance(s__Jewelry,s__SetOrClass)

s__subclass(s__Jewelry,s__WearableItem)

Economy.kif 4999-4999 Jewelry is a subclass of wearable item
s__subclass(s__Earphone,s__WearableItem)

s__instance(s__WearableItem,s__SetOrClass)

s__instance(s__Earphone,s__SetOrClass)

ComputerInput.kif 529-529 Earphone is a subclass of wearable item
s__instance(s__WearableItem,s__SetOrClass)

s__subclass(s__SafetyHarness,s__WearableItem)

s__instance(s__SafetyHarness,s__SetOrClass)

Cars.kif 3435-3435 Safety harness is a subclass of wearable item
s__subclass(s__HearingProtection,s__WearableItem)

s__instance(s__WearableItem,s__SetOrClass)

s__instance(s__HearingProtection,s__SetOrClass)

Cars.kif 3460-3460 Hearing protection is a subclass of wearable item
s__instance(s__ProtectiveEyewear,s__SetOrClass)

s__instance(s__WearableItem,s__SetOrClass)

s__subclass(s__ProtectiveEyewear,s__WearableItem)

Cars.kif 3496-3496 Protective eyewear is a subclass of wearable item
s__instance(s__Respirator,s__SetOrClass)

s__instance(s__WearableItem,s__SetOrClass)

s__subclass(s__Respirator,s__WearableItem)

Cars.kif 3543-3543 Respirator is a subclass of wearable item


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