Butte - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Butte

Butte(butte)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4173-4174
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 625-625
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 624-624
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 626-626
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4172-4172	Butte is a subclass of land form
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4171-4171	Butte is a subclass of upland area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12505-12505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12504-12504
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12503-12503

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4188-4194	If a physical is an instance of butte and another physical is an instance of mesa and the linear extent of the physical is a real number an unit of measure(s) and the linear extent of the other physical is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4176-4180	If a self connected object is an instance of butte and a side of the self connected object is another self connected object, then steep terrain is an attribute of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4182-4186	If a self connected object is an instance of butte and the top of the self connected object is another self connected object, then flat terrain is an attribute of the other self connected object

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