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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PHValue

Sigma KEE - PHValue
PHValue(PH value)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2542-2546
No TPTP formula. May not be expressible in strict first order. Geography.kif 2541-2541 PH value is an instance of non composite unit of measure

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2539-2539 PH value has name "pH"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45708-45708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45707-45707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45706-45706

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2548-2551 The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution
No TPTP formula. May not be expressible in strict first order. Geography.kif 2561-2567
No TPTP formula. May not be expressible in strict first order. Geography.kif 2557-2559
No TPTP formula. May not be expressible in strict first order. Geography.kif 2553-2555

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3226-3247
No TPTP formula. May not be expressible in strict first order. Geography.kif 2509-2517


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