TreeView Knowledge Base Browser - side

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

side

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 9778-9779
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 9775-9775	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 9776-9776	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 9774-9774	side is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9773-9773	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 52936-52936
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 52935-52935
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52934-52934

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 9781-9788	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 9805-9810	If a side of a self connected object is another self connected object and a side of the self connected object is a third self connected object and the distance between the other self connected object and the third self connected object is a length measure, then the width of the self connected object is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9790-9795	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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2775-2788	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 2796-2809	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 4471-4479	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 26042-26047	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 9797-9803	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 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