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

(documentation side ChineseLanguage "(side ?SIDE ?OBJECT)的意思是 ?SIDE 和 top 或 bottom 相反，是一个物体的旁边。")	chinese_format.kif 2847-2848
(documentation side EnglishLanguage "(side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the top or bottom.")	Merge.kif 9644-9645
(domain side 1 SelfConnectedObject)	Merge.kif 9641-9641	The number 1 argument of side is an instance of self connected object
(domain side 2 SelfConnectedObject)	Merge.kif 9642-9642	The number 2 argument of side is an instance of self connected object
(instance side BinaryPredicate)	Merge.kif 9640-9640	side is an instance of binary predicate
(subrelation side superficialPart)	Merge.kif 9639-9639	side is a subrelation of superficial part

appearance as argument number 2

(format ChineseLanguage side "%1 %n 是 %2 的一 side")	chinese_format.kif 387-387
(format EnglishLanguage side "a side of %2 is %n %1")	english_format.kif 393-393
(termFormat ChineseLanguage side "侧")	domainEnglishFormat.kif 52917-52917
(termFormat ChineseLanguage side "边")	chinese_format.kif 388-388
(termFormat ChineseTraditionalLanguage side "側")	domainEnglishFormat.kif 52916-52916
(termFormat EnglishLanguage side "side")	domainEnglishFormat.kif 52915-52915

antecedent

(=> (and (instance ?Isthmus Isthmus) (side ?Leftside ?Isthmus) (side ?Rightside ?Isthmus) (not (equal ?Leftside ?Rightside))) (exists (?Region1 ?Region2 ?Water1 ?Water2) (and (instance ?Region1 LandArea) (instance ?Region2 LandArea) (between ?Region1 ?Isthmus ?Region2) (instance ?Water1 WaterArea) (instance ?Water2 WaterArea) (meetsSpatially ?Leftside ?Water1) (meetsSpatially ?Rightside ?Water2))))	Geography.kif 5720-5734	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
(=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain))	Geography.kif 4087-4091	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
(=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain))	Geography.kif 4098-4102	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
(=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT)))	Merge.kif 9647-9653	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
(=> (and (top ?TOP ?O) (side ?S ?O)) (not (equal ?TOP ?S)))	Merge.kif 9655-9660	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
(=> (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH))) (width ?OBJECT ?WIDTH))	Merge.kif 9670-9676	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

(=> (attribute ?F Flat) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (height ?F (MeasureFn ?HF ?U)) (height ?S1 (MeasureFn ?H1 ?U)) (height ?S2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 (MultiplicationFn 2.0 ?HF)) (greaterThan ?H2 (MultiplicationFn 2.0 ?HF))))	Mid-level-ontology.kif 2737-2748	If flat is an attribute of a self connected object, then 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 meets the third self connected object and the other self connected object is not equal to the third self connected object and the height of the self connected object is a real number an unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s) and the height of the third self connected object is a 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
(=> (attribute ?F LongAndThin) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (length ?F (MeasureFn ?HF ?U)) (length ?S1 (MeasureFn ?H1 ?U)) (length ?S2 (MeasureFn ?H2 ?U)) (lessThan ?H1 (MultiplicationFn 3.0 ?HF)) (lessThan ?H2 (MultiplicationFn 3.0 ?HF))))	Mid-level-ontology.kif 2756-2767	If long and thin is an attribute of a self connected object, then 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 meets the third self connected object and the other self connected object is not equal to the third self connected object and the length of the self connected object is a real number an unit of measure(s) and the length of the other self connected object is another real number the unit of measure(s) and the length of the third self connected object is a 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
(=> (instance ?BOX Box) (equal (CardinalityFn (KappaFn ?SIDE (or (top ?SIDE ?BOX) (bottom ?SIDE ?BOX) (side ?SIDE ?BOX)))) 6))	Mid-level-ontology.kif 4366-4374	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
(=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ))	Merge.kif 885-887	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
(=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ))	Merge.kif 866-868	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
(=> (orientation ?OBJ1 ?OBJ2 Surrounded) (forall (?X) (=> (side ?X ?OBJ1) (meetsSpatially ?X ?OBJ2))))	Mid-level-ontology.kif 25376-25381	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
(=> (width ?OBJECT ?WIDTH) (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH))))	Merge.kif 9662-9668	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