side - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - side

side

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2847-2848
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9742-9743
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1591-1592
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9739-9739	The number 1 argument of side is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9740-9740	The number 2 argument of side is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9738-9738	side is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9737-9737	side is a subrelation of superficial part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 387-387
No TPTP formula. May not be expressible in strict first order.	english_format.kif 393-393
No TPTP formula. May not be expressible in strict first order.	french_format.kif 222-222
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 262-262
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2028-2028
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 174-174
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 519-519
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 299-299
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 242-242
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 239-239
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 454-454
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52934-52934
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 388-388
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52933-52933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52932-52932

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	If a self connected object is an instance of isthmus and a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object is not equal to the third self connected object, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of land area and the other object is an instance of land area and the self connected object is between the object and the other object and the third object is an instance of water area and the fourth object is an instance of water area and the other self connected object meets the third object and the third self connected object meets the fourth object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4165-4169	If a self connected object is an instance of mesa 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 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.	Merge.kif 9745-9751	If a side of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then there exists a positional attribute such that the other self connected object is the positional attribute to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9753-9758	If the top of a self connected object is another self connected object and a side of the self connected object is a third self connected object, then the other self connected object is not equal to the third self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9768-9774	If there exist a self connected object and another self connected object such that a side of a third self connected object is the self connected object and a side of the third self connected object is the other self connected object and the distance between the self connected object and the other self connected object is a length measure, then the width of the third self connected object is the length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2782-2795	If flat is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2803-2816	If long and thin is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4476-4484	If an entity is an instance of box, then the number of instances in the class described by a symbolic string is equal to 6
No TPTP formula. May not be expressible in strict first order.	Merge.kif 910-912	If a self connected object is an instance of self connected object, then a side of the self connected object is the back of the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 891-893	If a self connected object is an instance of self connected object, then a side of the self connected object is the front of the self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26009-26014	If a self connected object is surrounded to an object, then for all another self connected object if a side of the self connected object is the other self connected object, then the other self connected object meets the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9760-9766	If the width of a self connected object is a length measure, then there exist another self connected object and a third self connected object such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the distance between the other self connected object and the third self connected object is the length measure

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