TreeView Knowledge Base Browser

appearance as argument number 1

(documentation connects ChineseLanguage "这是一个联系三样东西的关系，它出现在当三样东西之中的一个把另外的两个联系起来的时候，更正规的说，(connects ?OBJ1 ?OBJ2 ?OBJ3)的意思是 (connected ?OBJ1 ?OBJ2)和(connected ?OBJ1 ?OBJ3)，而不是(connected ?OBJ2 ?OBJ3)。")	chinese_format.kif 2825-2827
(documentation connects EnglishLanguage "The relationship between three things, when one of the three things connects the other two. More formally, (connects ?OBJ1 ?OBJ2 ?OBJ3) means that (connected ?OBJ1 ?OBJ2) and (connected ?OBJ1 ?OBJ3) and not (connected ?OBJ2 ?OBJ3).")	Merge.kif 9426-9429
(domain connects 1 Object)	Merge.kif 9422-9422	domain connects, 1 and Object
(domain connects 2 Object)	Merge.kif 9423-9423	domain connects, 2 and Object
(domain connects 3 Object)	Merge.kif 9424-9424	domain connects, 3 and Object
(instance connects SpatialRelation)	Merge.kif 9420-9420	instance connects and SpatialRelation
(instance connects TernaryPredicate)	Merge.kif 9421-9421	instance connects and TernaryPredicate

appearance as argument number 2

(format ChineseLanguage connects "%1 %n{doesn't} connects %2 和 %3")	chinese_format.kif 363-363
(format EnglishLanguage connects "%1 %n{doesn't} connect%p{s} %2 and %3")	english_format.kif 366-366
(subrelation connectsEngineeringComponents connects)	Merge.kif 15875-15875	subrelation connectsEngineeringComponents and connects
(termFormat ChineseLanguage connects "连接")	chinese_format.kif 364-364
(termFormat ChineseTraditionalLanguage connects "連接")	domainEnglishFormat.kif 16652-16652
(termFormat EnglishLanguage connects "connects")	domainEnglishFormat.kif 16651-16651

antecedent

(=> (and (connects ?A ?NODE1 ?NODE2) (abstractCounterpart ?N1 ?NODE1) (abstractCounterpart ?N2 ?NODE2) (abstractCounterpart ?ARC ?A)) (links ?N1 ?N2 ?ARC))	Transportation.kif 2877-2883	connects Object, Object and Object abstractCounterpart GraphNode and Object abstractCounterpart GraphNode and Object abstractCounterpart ObjectRC and Object links GraphNode, GraphNode and ObjectRC
(=> (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2)) (larger ?body1 ?strait))	Geography.kif 5203-5208	instance Object and BodyOfWater instance Object and BodyOfWater connects Object, Object and Object larger Object and Object
(=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1))	Merge.kif 9455-9457	connects Object, Object and Object connects Object, Object and Object
(=> (connects ?BETWEEN ?END1 ?END2) (not (equal ?END1 ?END2)))	Geography.kif 5186-5188	connects Object, Object and Object equal Object and Object
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 9439-9445	connects Object, Object and Object connected Object and Object connected Object and Object connected Object and Object
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3))	Merge.kif 9431-9433	connects Object, Object and Object between Object, Object and Object

consequent

(=> (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))) (connects ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 9447-9453	connected Object and Object connected Object and Object connected Object and Object connects Object, Object and Object
(=> (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING)) (exists (?STEPS) (and (instance ?STEPS Steps) (connects ?STEPS ?LEVEL1 ?LEVEL2))))	Mid-level-ontology.kif 14541-14551	instance Object and BuildingLevel instance Object and BuildingLevel instance Object and Building part Object and Object part Object and Object Object instance Object and Steps connects Object, Object and Object
(=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))	Merge.kif 12097-12103	instance Process and Poking agent Process and Agent patient Process and Entity instrument Process and Object holdsDuring WhenFn Process and connects Object, Agent and Entity
(=> (and (instance ?S Soldering) (patient ?S ?OBJ1) (patient ?S ?OBJ2) (not (equal ?OBJ1 ?OBJ2))) (exists (?A) (and (instance ?A MetallicAlloy) (connects ?A ?OBJ1 ?OBJ2))))	Mid-level-ontology.kif 5314-5323	instance Process and Soldering patient Process and Object patient Process and Object equal Object and Object Object instance Object and MetallicAlloy connects Object, Object and Object
(=> (and (instance ?S Stairway) (part ?S ?B) (instance ?B Building)) (hasPurpose ?S (exists (?L1 ?L2) (and (instance ?L1 BuildingLevel) (instance ?L2 BuildingLevel) (part ?L1 ?B) (part ?L2 ?B) (connects ?S ?L1 ?L2)))))	Mid-level-ontology.kif 14517-14529	instance Object and Stairway part Object and Object instance Object and Building hasPurpose Object and entity entity instance entity and BuildingLevel instance entity and BuildingLevel part entity and Object part entity and Object connects Object, entity and entity
(=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 5278-5293	instance GeographicArea and InlandWaterSystem instance GeographicArea and WaterArea instance GeographicArea and WaterArea equal GeographicArea and GeographicArea connected GeographicArea and GeographicArea geographicSubregion GeographicArea and GeographicArea geographicSubregion GeographicArea and GeographicArea Object instance Object and WaterArea equal Object and GeographicArea equal Object and GeographicArea part Object and GeographicArea connects Object, GeographicArea and GeographicArea
(=> (between ?OBJ2 ?OBJ1 ?OBJ3) (connects ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 9435-9437	between Object, Object and Object connects Object, Object and Object
(=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1))	Merge.kif 9455-9457	connects Object, Object and Object connects Object, Object and Object
(=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V))))	Mid-level-ontology.kif 10680-10686	instance Object and Capillary Object Object instance Object and Artery instance Object and Vein connects Object, Object and Object
(=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R))))	Mid-level-ontology.kif 14495-14501	instance Object and Curb Object Object instance Object and Sidewalk instance Object and Roadway connects Object, Object and Object
(=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5496-5502	instance Object and Canal Object Object instance Object and WaterArea instance Object and WaterArea connects Object, Object and Object
(=> (instance ?CHANNEL Channel) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 5220-5226	instance Object and Channel Object Object instance Object and WaterArea instance Object and WaterArea connects Object, Object and Object
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH))))	Geography.kif 5396-5403	instance Object and StreamWaterConfluence Object Object instance Object and River instance Object and StreamWaterArea flows Object and Object connects Object, Object and Object
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (connects ?FORK ?STREAM1 ?STREAM2) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2))))	Geography.kif 5387-5394	instance Object and StreamWaterConfluence Object Object instance Object and StreamWaterArea connects Object, Object and Object instance Object and StreamWaterArea flows Object and Object
(=> (instance ?HINGE Hinge) (hasPurpose ?HINGE (exists (?OBJ1 ?OBJ2) (and (connects ?HINGE ?OBJ1 ?OBJ2) (or (capability Rotating patient ?OBJ1) (capability Rotating patient ?OBJ2))))))	Mid-level-ontology.kif 14720-14728	instance Physical and Hinge hasPurpose Physical and entity entity connects Physical, entity and entity capability Rotating, patient and entity capability Rotating, patient and entity
(=> (instance ?J BodyJoint) (exists (?S ?P1 ?P2) (and (instance ?S Skeleton) (component ?P1 ?S) (component ?P2 ?S) (component ?J ?S) (connects ?J ?P1 ?P2))))	Mid-level-ontology.kif 11188-11196	instance CorpuscularObject and BodyJoint CorpuscularObject CorpuscularObject and CorpuscularObject instance CorpuscularObject and Skeleton component CorpuscularObject and CorpuscularObject component CorpuscularObject and CorpuscularObject component CorpuscularObject and CorpuscularObject connects CorpuscularObject, CorpuscularObject and CorpuscularObject
(=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2))))	Merge.kif 14818-14824	instance Object and BodyJunction Object Object instance Object and BodyPart instance Object and BodyPart connects Object, Object and Object
(=> (instance ?NOS Nostril) (exists (?N ?T) (and (instance ?N Nose) (instance ?T Throat) (connects ?NOS ?N ?T))))	Mid-level-ontology.kif 10827-10833	instance Object and Nostril Object Object instance Object and Nose instance Object and Throat connects Object, Object and Object
(=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA))))	Geography.kif 4681-4687	instance Object and Sea Object Object instance Object and Ocean instance Object and WaterArea connects Object, Object and Object
(=> (instance ?T Tendon) (exists (?M ?B) (and (instance ?M Muscle) (instance ?B Bone) (connects ?T ?M ?B))))	Mid-level-ontology.kif 9045-9051	instance Object and Tendon Object Object instance Object and Muscle instance Object and Bone connects Object, Object and Object
(=> (instance ?TL TelephoneLine) (exists (?T1 ?T2) (and (or (instance ?T1 Telephone) (instance ?T1 Telegraph)) (or (instance ?T2 Telephone) (instance ?T2 Telegraph)) (not (equal ?T1 ?T2)) (connects ?TL ?T1 ?T2))))	Mid-level-ontology.kif 3589-3600	instance Object and TelephoneLine Object Object instance Object and Telephone instance Object and Telegraph instance Object and Telephone instance Object and Telegraph equal Object and Object connects Object, Object and Object
(=> (instance ?X WaterSkiing) (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION) (and (instance ?BOAT WaterVehicle) (instance ?WATER WaterArea) (instance ?SKI WaterSki) (eventLocated ?X ?WATER) (instance ?HUMAN Human) (located ?HUMAN ?SKI) (connects ?LINE ?HUMAN ?BOAT) (instance ?TRANS Transportation) (instrument ?TRANS ?BOAT) (instance ?MOTION Motion) (agent ?MOTION ?HUMAN) (instrument ?MOTION ?SKI) (causes ?TRANS ?MOTION) (subProcess ?MOTION ?X))))	Sports.kif 1174-1191	instance Process and WaterSkiing Agent Object, Object, Object, Entity, Process and Process instance Object and WaterVehicle instance Entity and WaterArea instance Object and WaterSki eventLocated Process and Entity instance Agent and Human located Agent and Object connects Object, Agent and Object instance Process and Transportation instrument Process and Object instance Process and Motion agent Process and Agent instrument Process and Object causes Process and Process subProcess Process and Process
(=> (instance ?strait Strait) (exists (?body1 ?body2) (and (instance ?body1 BodyOfWater) (instance ?body2 BodyOfWater) (connects ?strait ?body1 ?body2))))	Geography.kif 5195-5201	instance Object and Strait Object Object instance Object and BodyOfWater instance Object and BodyOfWater connects Object, Object and Object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: