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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Glue

 Sigma KEE - Glue
Glue(glue)
adhesive, adhesive_agent, adhesive_material, animal_glue

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8898-8899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 951-951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31602-31602 roomTempState glue and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8897-8897 Glue is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8896-8896 Glue is a subclass of mixture

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26166-26166
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26165-26165
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26164-26164

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


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


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