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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SalineSolution

 Sigma KEE - SalineSolution
SalineSolution

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8770-8771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8769-8769 SalineSolution e' uma sub-classe de Solucao

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2848-2848 BrackishWater e' uma sub-classe de SalineSolution
No TPTP formula. May not be expressible in strict first order. Geography.kif 2868-2868 Brine e' uma sub-classe de SalineSolution
No TPTP formula. May not be expressible in strict first order. Geography.kif 2821-2821 SeaWater e' uma sub-classe de SalineSolution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12356-12356 TearSubstance e' uma sub-classe de SalineSolution
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50937-50937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50936-50936
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50935-50935

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


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

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1106-1111


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