TreeView Knowledge Base Browser - GreenhouseGas

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GreenhouseGas

GreenhouseGas

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2737-2741
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7022-7022
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7023-7023
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7025-7025
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6600-6600
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7026-7026
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7027-7027
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31608-31608	roomTempState GreenhouseGas and Gas
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2736-2736	GreenhouseGas e' uma sub-classe de Gas
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2735-2735	GreenhouseGas e' uma sub-classe de Substancia Pura

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26592-26592
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26591-26591
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26590-26590

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