TreeView Knowledge Base Browser - between

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 4157-4160
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 4153-4153	The number 1 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4154-4154	The number 2 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4155-4155	The number 3 argument of between is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4151-4151	between is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4152-4152	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 10900-10900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10899-10899
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 1410-1429	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 1388-1406	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 4162-4164	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 9578-9580	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 17075-17080	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 5823-5837	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 895-917	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 853-875	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 1206-1212	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 11116-11126	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 15212-15233	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 15179-15191	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 15167-15177	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 15151-15160	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 4162-4164	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 4179-4181	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.	Merge.kif 9574-9576	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 799-810	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 9108-9114	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 15649-15664	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 3221-3231	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 1584-1597	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 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