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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MatchDevice

 Sigma KEE - MatchDevice
MatchDevice(match device)
book_matches, friction_match, fusee, fuzee, kitchen_match, lucifer, match, safety_match, slow_match

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1935-1937
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1174-1174
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1934-1934 Match device is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36449-36449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36448-36448
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36447-36447

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


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


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