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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AcidityMeasure

Sigma KEE - AcidityMeasure
AcidityMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9867-9867 AcidityMeasure est une sous-classe de unit� de mesure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9868-9868 PotentialOfHydrogen est une instance de AcidityMeasure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64403-64403

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9865-9865 Le nombre 2 argument de phMeasure est une instance de AcidityMeasure


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