Pampa - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pampa

Pampa(pampa)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6680-6681
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6751-6751
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7492-7492
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6677-6677	Pampa is a subclass of grassland
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6678-6678	Pampa is a subclass of plain

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44184-44184
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44183-44183
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44182-44182

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 6683-6685

If a physical is an instance of pampa,
then the physical is located at south america

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