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 31659-31659 roomTempState SulphurDioxide and 加油站
No TPTP formula. May not be expressible in strict first order. Geography.kif 7166-7166 子類 SulphurDioxide and CompoundSubstance

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 氧, 2 and SulphurDioxide
No TPTP formula. May not be expressible in strict first order. Geography.kif 7178-7178 molecularRatio 硫, 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