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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WashingDevice

 Sigma KEE - WashingDevice
WashingDevice

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2444-2445
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2443-2443 WashingDevice e' uma sub-classe de Aparelho

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8895-8895 BathingDevice e' uma sub-classe de WashingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2170-2170 Bidet e' uma sub-classe de WashingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25435-25435 ClothesWashingMachine e' uma sub-classe de WashingDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8910-8910 WashBasin e' uma sub-classe de WashingDevice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62267-62267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62266-62266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62265-62265

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


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


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