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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AcidityMeasure
AcidityMeasure(acidity measure)

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


(subclass AcidityMeasure UnitOfMeasure) Mid-level-ontology.kif 9868-9868 Acidity measure is a subclass of unit of measure

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


(instance PotentialOfHydrogen AcidityMeasure) Mid-level-ontology.kif 9869-9869 Potential of hydrogen is an instance of acidity measure
(termFormat EnglishLanguage AcidityMeasure "acidity measure") domainEnglishFormat.kif 64403-64403

appearance as argument number 3
-------------------------


(domain phMeasure 2 AcidityMeasure) Mid-level-ontology.kif 9866-9866 The number 2 argument of pH measure is an instance of acidity measure


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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