between - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - between

between

appearance as argument number 1

(documentation between ChineseLanguage "(between ?OBJ1 ?OBJ2 ?OBJ3) 的意思是 ?OBJ2 在空间上位于 ?OBJ1 和 ?OBJ3 之间。注：这意味着 ?OBJ2 正正位于在 ?OBJ1 和?OBJ3 之间，即是 ?OBJ1 和 ?OBJ3 的射影和 ?OBJ2 的射影重叠。")	chinese_format.kif 2119-2121
(documentation between EnglishLanguage "(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3. Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2.")	Merge.kif 4066-4069
(domain between 1 Object)	Merge.kif 4062-4062	The number 1 argument of between is an instance of object
(domain between 2 Object)	Merge.kif 4063-4063	The number 2 argument of between is an instance of object
(domain between 3 Object)	Merge.kif 4064-4064	The number 3 argument of between is an instance of object
(instance between SpatialRelation)	Merge.kif 4060-4060	between is an instance of spatial relation
(instance between TernaryPredicate)	Merge.kif 4061-4061	between is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage between "%2 %n 是在 %1 和 %3 between")	chinese_format.kif 65-65
(format EnglishLanguage between "%2 is %n between %1 and %3")	english_format.kif 65-65
(termFormat ChineseLanguage between "之间")	chinese_format.kif 66-66
(termFormat ChineseTraditionalLanguage between "之間")	domainEnglishFormat.kif 10909-10909
(termFormat EnglishLanguage between "between")	domainEnglishFormat.kif 10908-10908

antecedent

(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1373-1391	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then the device is capable of doing the class described by a symbolic string as a instrument
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1352-1369	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then the device is capable of doing the class described by a symbolic string as a instrument
(=> (between ?END1 ?MID ?END2) (between ?END2 ?MID ?END1))	Merge.kif 4071-4073	If an object is between another object and a third object, then the object is between the third object and the other object
(=> (between ?OBJ2 ?OBJ1 ?OBJ3) (connects ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 9435-9437	If an object is between another object and a third object, then the object connects the other object and the third object

consequent

(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 16723-16728	If a positional attribute is an instance of directional attribute and an object is the positional attribute to another object and the other object is the positional attribute to a third object, then the other object is between the object and the third object
(=> (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 ?MID MiddleCIButton) (component ?MID ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT ?RIGHT) (and (instance ?RIGHT RightCIButton) (instance ?LEFT LeftCIButton) (component ?RIGHT ?DEV) (component ?LEFT ?DEV) (between ?LEFT ?MID ?RIGHT) (orientation ?MID ?LEFT Left) (orientation ?MID ?RIGHT Right))))	ComputerInput.kif 224-237	If a corpuscular object is an instance of MiddleCIButton and the corpuscular object is a component of another corpuscular object and the other corpuscular object is an instance of computer input device, then there exist a third corpuscular object and a fourth corpuscular object such that the fourth corpuscular object is an instance of RightCIButton and the third corpuscular object is an instance of LeftCIButton and the fourth corpuscular object is a component of the other corpuscular object and the third corpuscular object is a component of the other corpuscular object and the corpuscular object is between the third corpuscular object and the fourth corpuscular object and the corpuscular object is left to the third corpuscular object and the corpuscular object is right to the fourth corpuscular object
(=> (and (instance ?T1 ?T1C) (instance ?T2 ?T2C) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) Likely))	Merge.kif 14894-14910	If an object is an instance of the objectC and another object is an instance of the other objectC and the objectC is not equal to the other objectC and the objectC is not a subclass of the other objectC and the other objectC is not a subclass of the objectC and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
(=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE))	Geography.kif 1213-1219	If a geographic area is an instance of maritime contiguous zone and an agent is a claimed territory of the geographic area and another geographic area is an instance of territorial sea and the agent is a claimed territory of the other geographic area, then the other geographic area is between the agent and the geographic area
(=> (and (path ?PROCESS ?PATH1) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST) (length ?PATH1 (MeasureFn ?MEASURE1 ?U)) (distance ?SOURCE ?DEST (MeasureFn ?DISTANCE ?U)) (not (greaterThan ?MEASURE1 ?DISTANCE)) (part ?OBJ ?PATH1)) (between ?SOURCE ?OBJ ?DEST))	Merge.kif 10952-10962	If an object is path along which a motion occurs and the motion originates at another object and the motion ends up at a third object and the length of the object is a real number an unit of measure(s) and the distance between the other object and the third object is another real number the unit of measure(s) and the real number is not greater than the other real number and a fourth object is a part of the object, then the fourth object is between the other object and the third object
(=> (attribute ?O Translucent) (modalAttribute (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (resource ?EMIT ?S) (destination ?EMIT ?OBJ) (between ?S ?O ?OBJ) (holdsDuring (WhenFn ?EMIT) (attribute ?OBJ Illuminated)))) Possibility))	Mid-level-ontology.kif 14596-14608	If translucent is an attribute of an object, then the statement there exists an entity such that the entity is an instance of radiating light and another entity is a resource for the entity and the entity ends up at the objectBJ and the object is between the other entity and the objectBJ and illuminated is an attribute of the objectBJ holds during the time of existence of the entity has the modal force of possibility
(=> (attribute ?O Translucent) (modalAttribute (not (exists (?S) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D)))) Likely))	Mid-level-ontology.kif 14584-14594	If translucent is an attribute of an object, then the statement there doesn't exist an entity such that the entity is an instance of seeing and another entity is an agent of the entity and the entity ends up at a third entity and the other entity is between the object and the third entity has the modal force of likely
(=> (attribute ?O Transparent) (modalAttribute (exists (?S) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D))) Possibility))	Mid-level-ontology.kif 14568-14577	If transparent is an attribute of an object, then the statement there exists an entity such that the entity is an instance of seeing and another entity is an agent of the entity and the entity ends up at a third entity and the other entity is between the object and the third entity has the modal force of possibility
(=> (between ?END1 ?MID ?END2) (between ?END2 ?MID ?END1))	Merge.kif 4071-4073	If an object is between another object and a third object, then the object is between the third object and the other object
(=> (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) (between ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 4088-4090	If an object between on path another object for a third object, then the other object is between the object and the third object
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3))	Merge.kif 9431-9433	If an object connects another object and a third object, then the object is between the other object and the third object
(=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2))))	Mid-level-ontology.kif 8684-8690	If an object is an instance of storm front, then there exist another object and a third object such that the other object is an instance of air and the third object is an instance of air and the object is between the other object and the third object
(=> (instance ?LW LaminatedWindshield) (exists (?G1 ?G2 ?P) (and (instance ?G1 Glass) (instance ?G2 Glass) (instance ?P Plastic) (part ?G1 ?LW) (part ?G2 ?LW) (part ?P ?LW) (between ?G1 ?P ?G2))))	Cars.kif 3236-3246	If an object is an instance of windshield, then there exist another object, a third object and a fourth object such that the other object is an instance of glass and the third object is an instance of glass and the fourth object is an instance of plastic and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the fourth object is between the other object and the third object
(=> (instance ?S Sandwich) (exists (?B1 ?B2 ?F) (and (instance ?B1 BreadOrBiscuit) (instance ?B2 BreadOrBiscuit) (instance ?F (FoodForFn Human)) (between ?B1 ?F ?B2) (not (equal ?B1 ?B2)) (not (equal ?B1 ?F)) (not (equal ?B2 ?F)) (part ?B1 ?S) (part ?B2 ?S) (part ?F ?S))))	Mid-level-ontology.kif 20956-20969	If an object is an instance of sandwich, then there exist another object, a third object and a fourth object such that the other object is an instance of bread or biscuit and the third object is an instance of bread or biscuit and the fourth object is an instance of food for human and the fourth object is between the other object and the third object and the other object is not equal to the third object and the other object is not equal to the fourth object and the third object is not equal to the fourth object and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object

appearance as argument number 0

(between SouthAmerica SaintHelena WesternAfrica)

CountriesAndRegions.kif 233-233

Saint helena is between south america and western africa

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