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 4052-4055
(domain between 1 Object)	Merge.kif 4048-4048	The number 1 argument of between is an instance of object
(domain between 2 Object)	Merge.kif 4049-4049	The number 2 argument of between is an instance of object
(domain between 3 Object)	Merge.kif 4050-4050	The number 3 argument of between is an instance of object
(instance between SpatialRelation)	Merge.kif 4046-4046	between is an instance of spatial relation
(instance between TernaryPredicate)	Merge.kif 4047-4047	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 1356-1374	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 1335-1352	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 4057-4059	If an object is between another object and a third object, then the object is between the third object and the other object

consequent

(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3))	Merge.kif 9160-9162	An object connects another object and a third object if and only if the object is between the other object and the third object
(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 16319-16324	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 5605-5619	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 246-259	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 14509-14525	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 1205-1211	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 ?MEASURE1) (distance ?SOURCE ?DEST ?DISTANCE) (not (greaterThan ?MEASURE1 ?DISTANCE))) (forall (?OBJ) (=> (part ?OBJ ?PATH1) (between ?SOURCE ?OBJ ?DEST))))	Merge.kif 10638-10649	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 quantity and the distance between the other object and the third object is a length measure and the quantity is not greater than the length measure, then for all a fourth object if the 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 14317-14329	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 14305-14315	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 14289-14298	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 4057-4059	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 4074-4076	If an object between on path another object for a third object, then the other object is between the 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 8660-8666	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 20625-20638	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