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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DDT
DDT(DDT)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2643-2645
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1089-1089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31591-31591 roomTempState DDT and 液体
No TPTP formula. May not be expressible in strict first order. Geography.kif 2639-2639 DDT 是 复合物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2641-2641 DDT 是 "DDT" 的简称
No TPTP formula. May not be expressible in strict first order. Geography.kif 2640-2640 DDT 的名 是 "dichoro-diphenyl-trichloro-ethane"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18720-18720
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18719-18719
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18718-18718


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