SlopedArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4103-4105
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 722-722
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 724-724
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 726-726
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 721-721
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 723-723
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 720-720
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 729-729
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 728-728
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 727-727
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 725-725
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4101-4101	Sloped area is a subclass of land form

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4123-4123	Cliff is a subclass of sloped area
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53402-53402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53401-53401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53400-53400

antecedent

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

Geography.kif 4107-4118

If a self connected object is an instance of sloped area,
then there exist another self connected object, a third self connected object,, , a real number,, , another real number and an unit of measure such that the top of the self connected object is the other self connected object and the bottom of the self connected object is the third self connected object and the unit of measure is an instance of unit of length and the other self connected object is the real number the unit of measure(s) above the ground and the third self connected object is the other real number the unit of measure(s) above the ground and the real number is greater than the other real number

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1093-1100	If an object is an instance of skiing facility, then there exist another object and a process such that the other object is an instance of sloped area and the other object is a part of the object and the process is an instance of skiing and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4050-4055	If an object is an instance of hill, then there exists another object such that the other object is an instance of sloped area and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4032-4038	If an object is an instance of mountain, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1080-1086	If a process is an instance of cross country skiing, then there doesn't exist an object such that the object is an instance of sloped area and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4146-4152	If an object is an instance of plateau, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object and the object overlapsSpatially

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

KB Term:			Term intersection

English Word: