TreeView Knowledge Base Browser - Shoreline

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Shoreline

Shoreline(shoreline)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6135-6136
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6856-6856
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7848-7848
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6133-6133	Shoreline is a subclass of land area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52785-52785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52784-52784
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52783-52783

antecedent

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

Geography.kif 6138-6143

If an object is an instance of shoreline,
then there exists another object such that the other object is an instance of water area and the other object meets the object

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6152-6161	If an object is an instance of shore area and another object is an instance of water area and the object is adjacent to the other object, then there exists a third object such that the third object is an instance of shoreline and the third object is a part of the object and the third object meets the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6145-6150	If an object is an instance of shore area, then there exists another object such that the other object is an instance of shoreline and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1379-1384	If an object is an instance of surf zone, then there exists another object such that the other object is an instance of shoreline and the object is adjacent to the other 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