Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  connected

 Sigma KEE - connected
connected

appearance as argument number 1
-------------------------


(documentation connected ChineseLanguage "(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。") chinese_format.kif 2823-2824
(documentation connected EnglishLanguage "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.") Merge.kif 9143-9144
(domain connected 1 Object) Merge.kif 9140-9140
(domain connected 2 Object) Merge.kif 9141-9141
(instance connected BinaryPredicate) Merge.kif 9136-9136
(instance connected ReflexiveRelation) Merge.kif 9138-9138
(instance connected SpatialRelation) Merge.kif 9137-9137
(instance connected SymmetricRelation) Merge.kif 9139-9139

appearance as argument number 2
-------------------------


(disjointRelation crosses connected) Merge.kif 4097-4097
(format ChineseLanguage connected "%1 和 %2 %n 是 connected") chinese_format.kif 361-361
(format EnglishLanguage connected "%1 is %n connected to %2") english_format.kif 364-364
(relatedInternalConcept meetsSpatially connected) Merge.kif 9190-9190
(subrelation connectedEngineeringComponents connected) Merge.kif 15441-15441
(subrelation flows connected) Geography.kif 5219-5219
(subrelation overlapsSpatially connected) Merge.kif 9200-9200
(termFormat ChineseLanguage connected "相连") chinese_format.kif 362-362
(termFormat ChineseLanguage connected "连接的") domainEnglishFormat.kif 16629-16629
(termFormat ChineseTraditionalLanguage connected "連接的") domainEnglishFormat.kif 16628-16628
(termFormat EnglishLanguage connected "connected") domainEnglishFormat.kif 16627-16627

antecedent
-------------------------


(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9329-9334
(=>
    (and
        (connected ?X ?Y)
        (part ?Y ?Z))
    (connected ?X ?Z))		 Geography.kif 514-518
(=>
    (and
        (instance ?A Attaching)
        (patient ?A ?O1)
        (patient ?A ?O2)
        (holdsDuring
            (BeginFn
                (WhenFn ?A))
            (not
                (connected ?O1 ?O2)))
        (holdsDuring
            (EndFn
                (WhenFn ?A))
            (connected ?O1 ?O2)))
    (and
        (objectAttached ?A ?O1)
        (objectAttached ?A ?O2)))		 Merge.kif 11805-11819
(=>
    (and
        (instance ?BS1 BodySegment)
        (instance ?BS2 BodySegment)
        (connected ?BS1 ?BS2)
        (instance ?BM BodyMotion)
        (moves ?BM ?BS1))
    (modalAttribute
        (not
            (exists (?BM2)
                (and
                    (instance ?BM2 BodyMotion)
                    (moves ?BM2 ?BS2)
                    (during
                        (WhenFn ?BM2)
                        (WhenFn ?BM))))) Possibility))		 Mid-level-ontology.kif 9957-9973
(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))		 Geography.kif 5114-5119
(=>
    (and
        (instance ?D Detaching)
        (patient ?D ?O1)
        (patient ?D ?O2)
        (holdsDuring
            (BeginFn
                (WhenFn ?D))
            (connected ?O1 ?O2))
        (holdsDuring
            (EndFn
                (WhenFn ?A))
            (not
                (connected ?O1 ?O2))))
    (and
        (objectDetached ?A ?O1)
        (objectDetached ?A ?O2)))		 Merge.kif 11853-11862
(=>
    (and
        (instance ?L1 Object)
        (attribute ?L1 LongAndThin)
        (instance ?L2 Object)
        (attribute ?L2 LongAndThin)
        (connected ?L1 ?L2)
        (not
            (equal ?L1 ?L2)))
    (exists (?M)
        (relativeAngle ?L1 ?L2 ?M)))		 Merge.kif 17177-17187
(=>
    (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 5164-5179
(=>
    (and
        (properlyFills ?OBJ1 ?HOLE)
        (connected ?OBJ2 ?OBJ1))
    (connected ?HOLE ?OBJ2))		 Merge.kif 9666-9670
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))		 Merge.kif 9359-9365
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))		 Merge.kif 9344-9349
(=>
    (connected ?OBJ1 ?OBJ2)
    (or
        (meetsSpatially ?OBJ1 ?OBJ2)
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 9146-9150

consequent
-------------------------


(<=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (and
        (connected ?OBJ1 ?OBJ2)
        (connected ?OBJ1 ?OBJ3)
        (not
            (connected ?OBJ2 ?OBJ3))))		 Merge.kif 9174-9180
(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))		 Merge.kif 9152-9157
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 16433-16437
(=>
    (and
        (connected ?X ?Y)
        (part ?Y ?Z))
    (connected ?X ?Z))		 Geography.kif 514-518
(=>
    (and
        (connectedBodyPart ?A ?B)
        (attribute ?H Healthy))
    (exists (?AI ?BI)
        (and
            (instance ?AI ?A)
            (instance ?BI ?B)
            (part ?AI ?G)
            (part ?BI ?H)
            (connected ?AI ?BI))))		 Mid-level-ontology.kif 11317-11327
(=>
    (and
        (instance ?ATTACH Attaching)
        (patient ?ATTACH ?OBJ1)
        (patient ?ATTACH ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?ATTACH))
            (not
                (connected ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?ATTACH))
            (connected ?OBJ1 ?OBJ2))))		 Merge.kif 11782-11789
(=>
    (and
        (instance ?DETACH Detaching)
        (patient ?DETACH ?OBJ1)
        (patient ?DETACH ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?DETACH))
            (connected ?OBJ1 ?OBJ2))
        (holdsDuring
            (EndFn
                (WhenFn ?DETACH))
            (not
                (connected ?OBJ1 ?OBJ2)))))		 Merge.kif 11830-11837
(=>
    (and
        (instance ?DSAVE DataSaving)
        (resource ?DSAVE ?RES)
        (instance ?RES ElectronicDataStorageDevice))
    (exists (?DEV)
        (and
            (instance ?DEV ElectricDevice)
            (instrument ?DSAVE ?DEV)
            (holdsDuring
                (WhenFn ?DSAVE)
                (connected ?RES ?DEV)))))		 Media.kif 690-700
(=>
    (and
        (instance ?E Extension)
        (moves ?E ?BP))
    (exists (?M ?MC)
        (and
            (instance ?M Muscle)
            (instance ?MC MuscularContraction)
            (instrument ?E ?M)
            (connected ?M ?BP)
            (subProcess ?MC ?E))))		 Mid-level-ontology.kif 10027-10037
(=>
    (and
        (instance ?F Flexion)
        (moves ?F ?BP))
    (exists (?M ?MC)
        (and
            (instance ?M Muscle)
            (instance ?MC MuscularContraction)
            (instrument ?F ?M)
            (connected ?M ?BP)
            (subProcess ?MC ?F))))		 Mid-level-ontology.kif 9987-9997
(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))		 Transportation.kif 2956-2964
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))		 Geography.kif 5443-5452
(=>
    (and
        (instance ?TOUCH Touching)
        (agent ?TOUCH ?OBJ1)
        (patient ?TOUCH ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?TOUCH))
            (not
                (connected ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?TOUCH))
            (connected ?OBJ1 ?OBJ2))))		 Merge.kif 11002-11009
(=>
    (and
        (instance ?W VehicleWheel)
        (instance ?V RoadVehicle)
        (part ?W ?V))
    (exists (?A)
        (and
            (instance ?A Axle)
            (component ?A ?V)
            (connected ?W ?A))))		 Mid-level-ontology.kif 3473-3482
(=>
    (and
        (properlyFills ?OBJ1 ?HOLE)
        (connected ?OBJ2 ?OBJ1))
    (connected ?HOLE ?OBJ2))		 Merge.kif 9666-9670
(=>
    (attribute ?X Locked)
    (exists (?LOCK ?CLOSE ?MOVE)
        (and
            (instance ?LOCK Lock)
            (connected ?LOCK ?X)
            (instance ?CLOSE Closing)
            (patient ?CLOSE ?LOCK)
            (instance ?MOVE Motion)
            (earlier
                (WhenFn ?CLOSE)
                (WhenFn
                    (attribute ?X Locked)))
            (holdsDuring
                (WhenFn
                    (attribute ?X Locked))
                (not
                    (modalAttribute
                        (patient ?MOVE ?X) Possibility))))))		 Mid-level-ontology.kif 2636-2652
(=>
    (attribute ?X PartialVacuum)
    (exists (?O ?G)
        (and
            (instance ?O SelfConnectedObject)
            (instance ?G Region)
            (not
                (equal ?G ?X))
            (connected ?X ?O)
            (connected ?G ?O)
            (measure ?G
                (MeasureFn ?P1 ?PM))
            (measure ?X
                (MeasureFn ?P2 ?PM))
            (instance ?PM UnitOfAtmosphericPressure)
            (greaterThan ?P1 ?P2))))		 Cars.kif 383-396
(=>
    (attribute ?X Pressurized)
    (exists (?O ?G)
        (and
            (instance ?O SelfConnectedObject)
            (instance ?G Region)
            (not
                (equal ?G ?X))
            (connected ?X ?O)
            (connected ?G ?O)
            (measure ?G
                (MeasureFn ?P1 ?PM))
            (measure ?X
                (MeasureFn ?P2 ?PM))
            (instance ?PM UnitOfAtmosphericPressure)
            (greaterThan ?P2 ?P1))))		 Cars.kif 403-416
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (forall (?OBJ2)
        (=>
            (connected ?OBJ2 ?HOLE)
            (connected ?OBJ2 ?OBJ1))))		 Merge.kif 9659-9664
(=>
    (equipmentType ?O ?T)
    (exists (?D)
        (and
            (instance ?D ?T)
            (or
                (part ?D ?O)
                (connected ?D ?O)))))		 Mid-level-ontology.kif 23538-23545
(=>
    (flows ?FLUID1 ?FLUID2)
    (connected ?FLUID1 ?FLUID2))		 Geography.kif 5225-5227
(=>
    (hole ?HOLE ?OBJ)
    (connected ?HOLE ?OBJ))		 Merge.kif 9546-9548
(=>
    (instance ?F Fireplace)
    (exists (?C)
        (and
            (instance ?C Chimney)
            (connected ?F ?C))))		 Mid-level-ontology.kif 14665-14670
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))		 Geography.kif 4913-4920
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))		 Geography.kif 5016-5021

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(connected GulfOfAden ArabianSea) Geography.kif 4953-4953
(connected GulfOfMexico CaribbeanSea) Geography.kif 4961-4961
(connected GulfOfMexico NorthAtlanticOcean) Geography.kif 4960-4960
(connected GulfOfOman ArabianSea) Geography.kif 4945-4945
(connected IndianOcean PersianGulf) Geography.kif 4446-4446
(connected IndianOcean SouthPacificOcean) Geography.kif 4445-4445
(connected IndianOcean SouthernOcean) Geography.kif 4447-4447
(connected MississippiRiver GulfOfMexico) CountriesAndRegions.kif 744-744
(connected PersianGulf StraitOfHormuz) Geography.kif 4938-4938
(connected RedSea GulfOfAden) Geography.kif 4952-4952
(connected StraitOfHormuz GulfOfOman) Geography.kif 4944-4944


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