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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Saliva

 Sigma KEE - Saliva
Saliva(saliva)saliva, spit, spittle

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12341-12341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12340-12340 Saliva is a subclass of body substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12338-12338 Saliva is a secretes substance of salivary gland
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12342-12342

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6573-6575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12343-12349

consequent
-------------------------


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


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