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

Formal Language: 



KB Term:  Term intersection
English Word: 

  age

Sigma KEE - connected
connected

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


(documentation connected ChineseLanguage "(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1 meetsSpatially ?OBJ2 或者是 ?OBJ1 overlapsSpatially ?OBJ2。") Merge.kif 9404-9405
(documentation connected EnglishLanguage "(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.") Merge.kif 9402-9403
(domain connected 1 Object) Merge.kif 9400-9400
(domain connected 2 Object) Merge.kif 9401-9401
(instance connected BinaryPredicate) Merge.kif 9396-9396
(instance connected ReflexiveRelation) Merge.kif 9398-9398
(instance connected SpatialRelation) Merge.kif 9397-9397
(instance connected SymmetricRelation) Merge.kif 9399-9399

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


(disjointRelation crosses connected) Merge.kif 4305-4305
(format ChineseLanguage connected "%1 和 %2 %n 是 connected") chinese_format.kif 361-361
(format EnglishLanguage connected "%1 is %n connected to %2") english_format.kif 219-219
(format FrenchLanguage connected "%1 est %n connect� � %2") french_format.kif 209-209
(format ItalianLanguage connected "%1 � %n connesso a %2") relations-it.txt 52-52
(format PortugueseLanguage connected "%1 e' %n conectado com %2") portuguese_format.kif 161-161
(format ar connected "%1 هو %n مٌتَّصِل بـ %2") arabic_format.kif 148-148
(format cb connected "%1 %n ay ikabit sa %2") relations-cb.txt 86-86
(format cz connected "%1 %p{je} %n{nen�} spojen s %2") relations-cz.txt 216-216
(format de connected "%1 wird an %2 %n{nicht} angeschlossen") relations-de.txt 480-480
(format hi connected "%1 %2 se judaa huaa %n hai") relations-hindi.txt 93-93
(format tg connected "%1 %n ay nagkabit sa %2") relations-tg.txt 120-120
(relatedInternalConcept meetsSpatially connected) Merge.kif 9453-9453
(subrelation connectedEngineeringComponents connected) Merge.kif 16144-16144
(subrelation flows connected) Geography.kif 5100-5100
(subrelation overlapsSpatially connected) Merge.kif 9463-9463
(termFormat ChineseLanguage connected "相连") chinese_format.kif 362-362
(termFormat EnglishLanguage connected "connected") domainEnglishFormat.kif 3194-3194
(termFormat ar connected "«مٌتَّصِل بـ»") arabic_format.kif 598-598
(termFormat tg connected "nagkabit") relations-tg.txt 121-121

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


(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))
Merge.kif 9593-9598
(=>
    (and
        (connected ?X ?Y)
        (part ?Y ?Z))
    (connected ?X ?Z))
Geography.kif 511-515
(=>
    (and
        (instance ?CHANNEL Channel)
        (instance ?BODY BodyOfWater)
        (connected ?CHANNEL ?BODY))
    (larger ?BODY ?CHANNEL))
Geography.kif 4995-5000
(=>
    (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 5045-5060
(=>
    (and
        (properlyFills ?OBJ1 ?HOLE)
        (connected ?OBJ2 ?OBJ1))
    (connected ?HOLE ?OBJ2))
Merge.kif 9967-9971
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))
Merge.kif 9625-9631
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))
Merge.kif 9609-9614
(=>
    (connected ?OBJ1 ?OBJ2)
    (or
        (meetsSpatially ?OBJ1 ?OBJ2)
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9407-9411

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


(<=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (and
        (connected ?OBJ1 ?OBJ2)
        (connected ?OBJ1 ?OBJ3)
        (not
            (connected ?OBJ2 ?OBJ3))))
Merge.kif 9437-9443
(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9413-9418
(<=>
    (orientation ?OBJ1 ?OBJ2 Adjacent)
    (or
        (orientation ?OBJ1 ?OBJ2 Near)
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17312-17316
(=>
    (and
        (connected ?X ?Y)
        (part ?Y ?Z))
    (connected ?X ?Z))
Geography.kif 511-515
(=>
    (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 12163-12170
(=>
    (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 12193-12200
(=>
    (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 ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))
Transportation.kif 2865-2873
(=>
    (and
        (instance ?RIVER River)
        (instance ?WATER BodyOfWater)
        (flows ?RIVER ?WATER))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH RiverMouth)
            (streamOutfall ?MOUTH ?RIVER)
            (connected ?MOUTH ?WATER))))
Geography.kif 5323-5332
(=>
    (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 11287-11294
(=>
    (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 4072-4081
(=>
    (and
        (properlyFills ?OBJ1 ?HOLE)
        (connected ?OBJ2 ?OBJ1))
    (connected ?HOLE ?OBJ2))
Merge.kif 9967-9971
(=>
    (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 3163-3179
(=>
    (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 ?PM ?P1))
            (measure ?X
                (MeasureFn ?PM ?P2))
            (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 ?PM ?P1))
            (measure ?X
                (MeasureFn ?PM ?P2))
            (instance ?PM UnitOfAtmosphericPressure)
            (greaterThan ?P2 ?P1))))
Cars.kif 403-416
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (forall (?OBJ2)
        (=>
            (connected ?OBJ2 ?HOLE)
            (connected ?OBJ2 ?OBJ1))))
Merge.kif 9960-9965
(=>
    (equipmentType ?O ?T)
    (exists (?D)
        (and
            (instance ?D ?T)
            (or
                (part ?D ?O)
                (connected ?D ?O)))))
Mid-level-ontology.kif 21638-21645
(=>
    (flows ?FLUID1 ?FLUID2)
    (connected ?FLUID1 ?FLUID2))
Geography.kif 5106-5108
(=>
    (hole ?HOLE ?OBJ)
    (connected ?HOLE ?OBJ))
Merge.kif 9825-9827
(=>
    (instance ?F Fireplace)
    (exists (?C)
        (and
            (instance ?C Chimney)
            (connected ?F ?C))))
Mid-level-ontology.kif 12791-12796
(=>
    (instance ?GULF Gulf)
    (exists (?SEA)
        (and
            (or
                (instance ?SEA Sea)
                (instance ?SEA Ocean))
            (connected ?GULF ?SEA))))
Geography.kif 4794-4801
(=>
    (instance ?I Intestine)
    (exists (?S)
        (and
            (instance ?S Stomach)
            (connected ?I ?S))))
Mid-level-ontology.kif 10019-10024
(=>
    (instance ?INLET Inlet)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (connected ?INLET ?WATER))))
Geography.kif 4897-4902
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 11926-11932
(=>
    (instance ?NA NetworkAdapter)
    (exists (?Net)
        (and
            (instance ?Net ComputerNetwork)
            (connected ?NA ?Net))))
QoSontology.kif 821-826

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 4834-4834
(connected GulfOfMexico CaribbeanSea) Geography.kif 4842-4842
(connected GulfOfMexico NorthAtlanticOcean) Geography.kif 4841-4841
(connected GulfOfOman ArabianSea) Geography.kif 4826-4826
(connected IndianOcean PersianGulf) Geography.kif 4349-4349
(connected IndianOcean SouthPacificOcean) Geography.kif 4348-4348
(connected IndianOcean SouthernOcean) Geography.kif 4350-4350
(connected MississippiRiver GulfOfMexico) CountriesAndRegions.kif 744-744
(connected PersianGulf StraitOfHormuz) Geography.kif 4819-4819
(connected RedSea GulfOfAden) Geography.kif 4833-4833
(connected StraitOfHormuz GulfOfOman) Geography.kif 4825-4825


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners