TreeView Knowledge Base Browser - Phosgene

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Phosgene

Phosgene

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 619-621
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6763-6763
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7536-7536
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31666-31666	roomTempState Phosgene and Gas
No TPTP formula. May not be expressible in strict first order.	WMD.kif 618-618	Phosgene e' uma sub-classe de ChokingAgent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45602-45602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45601-45601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45600-45600

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