Rapids - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Rapids

Rapids(rapids)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5635-5637
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4803-4803
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5633-5633	Rapids is a subclass of stream water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48776-48776
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48775-48775
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48774-48774

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5646-5653	If a self connected object is an instance of rapids and the bottom of the self connected object is another self connected object, then there exists an object such that the object is an instance of rock and the object is a part of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5639-5644	If an object is an instance of rapids, then there exists another object such that the other object is an instance of river and the object is a part of the other 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