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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2119-2121
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4016-4019
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4012-4012	The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4013-4013	The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4014-4014	The number 3 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4010-4010	between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4011-4011	between is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	english_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 66-66
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10909-10909
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10908-10908

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1355-1373	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1334-1351	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4021-4023	If an object is between another object and a third object, then the object is between the third object and the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9006-9008	An object connects another object and a third object if and only if the object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15869-15874	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10387-10398	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11884-11896	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11872-11882	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11856-11865	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4021-4023	If an object is between another object and a third object, then the object is between the third object and the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4038-4040	If an object between on path another object for a third object, then the other object is between the object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7926-7932	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3250-3260	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18015-18028	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

No TPTP formula. May not be expressible in strict first order.

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