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 4164-4167
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 772-774
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4160-4160	The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4161-4161	The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4162-4162	The number 3 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4158-4158	between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4159-4159	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.	french_format.kif 58-58
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 37-37
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1881-1881
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 10-10
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 55-55
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 77-77
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 90-90
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 10907-10907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10906-10906
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 18-18
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 91-91

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1634-1653	If a device is an instance of gun and an unit of measure is an instance of unit of length 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 there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1612-1630	If a device is an instance of gun and an unit of measure is an instance of unit of length 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 there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4169-4171	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 9663-9665	If an object is between another object and a third object, then the object connects the other object and the third object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17164-17169	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 5956-5970	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 224-237	If a corpuscular object is an instance of middle CI button 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 right CI button and the third corpuscular object is an instance of left CI button 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.	Medicine.kif 886-908	If a transfer is an instance of needle decompression and an object is a patient of the transfer, then there exist another transfer, another object,, , the other transferN,, , a fourth object,, , a fifth object and a sixth object such that the other transfer is an instance of inserting and the other transfer is a subprocess of the transfer and the object transferred in the other transfer is a seventh object and the other transfer originates at the other object and the other transfer ends up at the other transferN and the seventh object is an instance of needle and fluid is an attribute of the sixth object and the object transferred in the transfer is the sixth object and the sixth object ends up at the other object and the fourth object is an instance of lung and the fifth object is an instance of chest and the fourth object is a part of the object and the fifth object is a part of the object and the transfer originates at the other transferN and the transfer ends up at the other object and the other transferN is between the fourth object and the fifth object and the other object is outside to the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 844-866	If an object is an instance of vented chest seal and a transfer is an instance of attaching and the object transferred in the transfer is the object and the transfer ends up at an entity, then the object has the purpose there exist the transfer, another entity,, , a third entity and the entity such that the transfer is an instance of air and the other entity is an instance of lung and the third entity is an instance of chest and the other entity is a part of the entity and the third entity is a part of the entity and the transfer is between the other entity and the third entity holds during immediately before the time of existence of the transfer and the object has the purpose the transfer is outside to the entity holds during immediately after the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1200-1206	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 11205-11215	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15304-15325	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16525-16537	If translucent is an attribute of an object, then the statement there exist an entity, another entity and the objectBJ such that the entity is an instance of radiating light and the other 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 16513-16523	If translucent is an attribute of an object, then the statement there don't exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the 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 16497-16506	If transparent is an attribute of an object, then the statement there exist an entity, another entity and a third entity such that the entity is an instance of seeing and the other entity is an agent of the entity and the entity ends up at the 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 4169-4171	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 4186-4188	If an object is between another object and a third object on path a fourth object, then the object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9659-9661	If an object connects another object and a third object, then the object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 790-801	If collapsed lung is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of air and a third entity is an instance of lung and a fourth entity is an instance of chest and the third entity is a part of the entity and the fourth entity is a part of the entity and the other entity is between the third entity and the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10287-10293	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.	Mid-level-ontology.kif 16995-17010	If a physical is an instance of hall, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is located at the other entity and the other entity is an instance of building and the physical is between the third entity and the fourth entity and the third entity is an instance of room and the fourth entity is an instance of room and the third entity is located at the other entity and the fourth entity is located at the other entity and the third entity is not equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3297-3307	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.	Food.kif 1590-1603	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