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 8926-8927
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 31638-31638 roomTempState glue and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8925-8925 Glue is a subclass of attaching device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8924-8924 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 8929-8935


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