connects - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2825-2827
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9555-9558
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1567-1569
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9551-9551	The number 1 argument of connects is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9552-9552	The number 2 argument of connects is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9553-9553	The number 3 argument of connects is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9549-9549	connects is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9550-9550	connects 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 363-363
No TPTP formula. May not be expressible in strict first order.	english_format.kif 366-366
No TPTP formula. May not be expressible in strict first order.	french_format.kif 210-210
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 54-54
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2017-2017
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 162-162
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 88-88
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 217-217
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 483-483
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 95-95
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 230-230
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 227-227
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 124-124
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16179-16179	connects engineering components is a subrelation of connects
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 364-364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16661-16661
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16660-16660
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 125-125

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2870-2876	If an object connects another object and a third object and the abstract counterpart of the other object is a graph node and the abstract counterpart of the third object is another graph node and the abstract counterpart of the object is the objectRC, then the objectRC links the graph node and the other graph node
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5305-5310	If an object is an instance of body of water and another object is an instance of body of water and a third object connects the object and the other object, then the object is larger than the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9584-9586	If an object connects another object and a third object, then the object connects the third object and the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5288-5290	If an object connects another object and a third object, then the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9568-9574	If an object connects another object and a third object, then the object is connected to the other object and the object is connected to the third object and the other object is not connected to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9560-9562	If an object connects another object and a third object, then the object is between the other object and the third object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9576-9582	If an object is connected to another object and the object is connected to a third object and the other object is not connected to the third object, then the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15096-15106	If an object is an instance of building level and another object is an instance of building level and a third object is an instance of building and the object is a part of the third object and the other object is a part of the third object, then there exists a fourth object such that the fourth object is an instance of steps and the fourth object connects the object and the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12357-12363	If a process is an instance of poking and an agent is an agent of the process and an entity is a patient of the process and an object is an instrument for the process, then the object connects the agent and the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5629-5638	If a process is an instance of soldering and an object is a patient of the process and another object is a patient of the process and the object is not equal to the other object, then there exists a third object such that the third object is an instance of metallic alloy and the third object connects the object and the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15072-15084	If an object is an instance of stairway and the object is a part of another object and the other object is an instance of building, then the object has the purpose there exist an entity and another entity such that the entity is an instance of building level and the other entity is an instance of building level and the entity is a part of the other object and the other entity is a part of the other object and the object connects the entity and the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5132-5145	If an object is an instance of StripMall and another object is an instance of retail store and the other object is a part of the object and a third object is an instance of retail store and the third object is a part of the object and the other object is not equal to the third object, then there doesn't exist a fourth object such that the fourth object is an instance of hall and the other object connects the fourth object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5380-5395	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1745-1756	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and healthy is an attribute of the object, then there exist another object and a third object such that the other object is an instance of a kind of muscle and the third object is an instance of a kind of body part and the other object is a part of the object and the third object is a part of the object and the other object connects the third object and
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1695-1706	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and healthy is an attribute of the object, then there exist another object and a third object such that the other object is an instance of a kind of muscle and the third object is an instance of a kind of body part and the other object is a part of the object and the third object is a part of the object and the other object connects the third object and
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9564-9566	If an object is between another object and a third object, then the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9584-9586	If an object connects another object and a third object, then the object connects the third object and the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11177-11183	If an object is an instance of capillary, then there exist another object and a third object such that the other object is an instance of artery and the third object is an instance of vein and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15050-15056	If an object is an instance of curb, then there exist another object and a third object such that the other object is an instance of sidewalk and the third object is an instance of roadway and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5599-5605	If an object is an instance of canal, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5322-5328	If an object is an instance of channel, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5498-5505	If an object is an instance of stream water confluence, then there exist another object and a third object such that the other object is an instance of river and the third object is an instance of stream water area and the other object is a flows of the third object and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5489-5496	If an object is an instance of stream water confluence, then there exist another object and a third object such that the other object is an instance of stream water area and the object connects the other object and the third object and the third object is an instance of stream water area and the third object is a flows of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15275-15283	If a physical is an instance of hinge, then the physical has the purpose there exist an entity and another entity such that the physical connects the entity and the other entity and the entity is capable of doing rotating as a patient or the other entity is capable of doing rotating as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11706-11714	If a corpuscular object is an instance of body joint, then there exist another corpuscular object, a third corpuscular object and a fourth corpuscular object such that the other corpuscular object is an instance of skeleton and the third corpuscular object is a component of the other corpuscular object and the fourth corpuscular object is a component of the other corpuscular object and the corpuscular object is a component of the other corpuscular object and the corpuscular object connects the third corpuscular object and the fourth corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15112-15118	If an object is an instance of body junction, then there exist another object and a third object such that the other object is an instance of body part and the third object is an instance of body part and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11326-11332	If an object is an instance of nostril, then there exist another object and a third object such that the other object is an instance of nose and the third object is an instance of throat and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4783-4789	If an object is an instance of sea, then there exist another object and a third object such that the other object is an instance of ocean and the third object is an instance of water area and the third object connects the other object and the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9448-9454	If an object is an instance of tendon, then there exist another object and a third object such that the other object is an instance of muscle and the third object is an instance of bone and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3637-3648	If an object is an instance of telephone line, then there exist another object and a third object such that the other object is an instance of telephone or the other object is an instance of telegraph and the third object is an instance of telephone or the third object is an instance of telegraph and the other object is not equal to the third object and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1247-1264	If a process is an instance of water skiing, then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: