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 8986-8989
(domain connects 1 Object)	Merge.kif 8982-8982	domain connects, 1 and Object
(domain connects 2 Object)	Merge.kif 8983-8983	domain connects, 2 and Object
(domain connects 3 Object)	Merge.kif 8984-8984	domain connects, 3 and Object
(instance connects SpatialRelation)	Merge.kif 8980-8980	instance connects and SpatialRelation
(instance connects TernaryPredicate)	Merge.kif 8981-8981	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 369-369
(subrelation connectsEngineeringComponents connects)	Merge.kif 15018-15018	subrelation connectsEngineeringComponents and connects
(termFormat ChineseLanguage connects "连接")	chinese_format.kif 364-364
(termFormat ChineseTraditionalLanguage connects "連接")	domainEnglishFormat.kif 16593-16593
(termFormat EnglishLanguage connects "connects")	domainEnglishFormat.kif 16592-16592

antecedent

(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))	Merge.kif 8995-9001	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 8991-8993	connects Object, Object and Object between Object, Object and Object
(=> (and (connects ?A ?NODE1 ?NODE2) (abstractCounterpart ?N1 ?NODE1) (abstractCounterpart ?N2 ?NODE2) (abstractCounterpart ?ARC ?A)) (links ?N1 ?N2 ?ARC))	Transportation.kif 2848-2854	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 4998-5003	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 9003-9005	connects Object, Object and Object connects Object, Object and Object
(=> (connects ?BETWEEN ?END1 ?END2) (not (equal ?END1 ?END2)))	Geography.kif 4981-4983	connects Object, Object and Object equal Object and Object

consequent

(=> (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 12816-12826	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 11480-11486	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 5869-5878	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 12792-12804	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 5073-5088	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
(=> (connects ?ARC ?NODE1 ?NODE2) (connects ?ARC ?NODE2 ?NODE1))	Merge.kif 9003-9005	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 9553-9559	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 12770-12776	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 5290-5296	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 5015-5021	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 5190-5197	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 5181-5188	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 12990-12998	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 9924-9932	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 14036-14042	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 9634-9640	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 4487-4493	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 9040-9046	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 4174-4185	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 1098-1115	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 4990-4996	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: