TreeView Knowledge Base Browser - Seacoast

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Seacoast

Seacoast(seacoast)

Aeolia, Aeolis, Atlantic_Coast, Barbary_Coast, Pacific_Coast, coast, sea-coast, seaboard, seacoast, seashore, seaside

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6122-6124
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1245-1245
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6120-6120	Seacoast is a subclass of land form
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6119-6119	Seacoast is a subclass of shore area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6113-6113	The range of seacoast is an instance of seacoast
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51651-51651
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51650-51650
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51649-51649

antecedent

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

Geography.kif 6126-6131

If an object is an instance of seacoast and another object is an instance of water area and the other object is adjacent to the object,
then the other object is an instance of salt water area

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 904-910	If an object is an instance of landlocked area, then there doesn't exist another object such that the other object is an instance of seacoast and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1616-1621	If a process is an instance of coastal flooding, then there exists an object such that the object is an instance of seacoast and the process is located at the object

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