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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SulphurDioxide
SulphurDioxide

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7171-7172
No TPTP formula. May not be expressible in strict first order. Geography.kif 7168-7169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31691-31691 roomTempState SulphurDioxide and Gas
No TPTP formula. May not be expressible in strict first order. Geography.kif 7166-7166 SulphurDioxide est une sous-classe de substance compos�e

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7176-7176
No TPTP formula. May not be expressible in strict first order. Geography.kif 7174-7174

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7179-7179 molecularRatio Oxygen, 2 and SulphurDioxide
No TPTP formula. May not be expressible in strict first order. Geography.kif 7178-7178 molecularRatio Sulphur, 1 and SulphurDioxide

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7181-7187
No TPTP formula. May not be expressible in strict first order. Geography.kif 7189-7197