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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SelfConnectedObject
SelfConnectedObject

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


(documentation SelfConnectedObject ChineseLanguage " SelfConnectedObject 是任何并非由两个或以上不相连部分所组成的 Object。") Merge.kif 1279-1280
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") Merge.kif 1276-1277
(documentation SelfConnectedObject JapaneseLanguage "SelfConnectedObject は任意の Object で、2つ以上の切断されたパーツで構成されていない。") Merge.kif 1282-1283
(documentation SelfConnectedObject SpanishLanguage "Un SelfConnectedObject es cualquier Object que no consiste en dos o más partes desconectadas.") Merge.kif 1285-1286
(subclass SelfConnectedObject Object) Merge.kif 1274-1274

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


(disjoint Collection SelfConnectedObject) Merge.kif 1969-1969
(range BackFn SelfConnectedObject) Merge.kif 1361-1361
(range FrontFn SelfConnectedObject) Merge.kif 1317-1317
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 19367-19367
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4235-4235
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1914-1914
(subclass Food SelfConnectedObject) Merge.kif 19385-19385
(subclass Iceberg SelfConnectedObject) Weather.kif 890-890
(subclass Meat SelfConnectedObject) Merge.kif 19387-19387
(subclass OrganicThing SelfConnectedObject) Merge.kif 1289-1289
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2822-2822
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2515-2515
(subclass Substance SelfConnectedObject) Merge.kif 1572-1572
(subclass Transitway SelfConnectedObject) Merge.kif 18673-18673
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 1141-1141
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") english_format.kif 1142-1142

appearance as argument number 3
-------------------------


(domain BackFn 1 SelfConnectedObject) Merge.kif 1360-1360
(domain FrontFn 1 SelfConnectedObject) Merge.kif 1316-1316
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 15646-15646
(domain bottom 1 SelfConnectedObject) Merge.kif 13424-13424
(domain bottom 2 SelfConnectedObject) Merge.kif 13425-13425
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6316-6316
(domain contains 1 SelfConnectedObject) Merge.kif 1541-1541
(domain height 1 SelfConnectedObject) Merge.kif 10959-10959
(domain hole 2 SelfConnectedObject) Merge.kif 13602-13602
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20574-20574
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 14961-14961
(domain side 1 SelfConnectedObject) Merge.kif 13468-13468
(domain side 2 SelfConnectedObject) Merge.kif 13469-13469
(domain surface 1 SelfConnectedObject) Merge.kif 13378-13378
(domain surface 2 SelfConnectedObject) Merge.kif 13379-13379
(domain top 1 SelfConnectedObject) Merge.kif 13446-13446
(domain top 2 SelfConnectedObject) Merge.kif 13447-13447
(domain weight 1 SelfConnectedObject) Merge.kif 10628-10628
(domainSubclass ingredient 1 SelfConnectedObject) Food.kif 99-99
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 117-117
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 118-118
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2546-2546
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 2980-2980
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 2990-2990

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 13205-13210
(=>
    (and
        (instance ?SCO SelfConnectedObject)
        (instance ?C Compressing)
        (patient ?C ?SCO)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N1 ?V)))
        (instance ?V VolumeMeasure)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N2 ?V))))
    (greaterThan ?N1 ?N2))
Cars.kif 1973-1985
(=>
    (and
        (maximumPayloadCapacity ?V
            (MeasureFn ?WEIGHT ?UNITWEIGHT))
        (maximumPayloadHeightWidth ?V
            (MeasureFn ?HEIGHT ?UNITHEIGHT)
            (MeasureFn ?WIDTH ?UNITWIDTH))
        (instance ?O SelfConnectedObject)
        (weight ?O
            (MeasureFn ?WEO ?WEOU))
        (width ?O
            (MeasureFn ?WO ?WOU))
        (height ?O
            (MeasureFn ?HO ?HOU))
        (equal ?WEOU ?UNITWEIGHT)
        (equal ?WOU ?UNITWIDTH)
        (equal ?HOU ?UNITHEIGHT)
        (lessThanOrEqualTo ?WEO ?WEIGHT)
        (lessThanOrEqualTo ?WO ?WIDTH)
        (lessThanOrEqualTo ?HO ?HEIGHT))
    (capability
        (KappaFn ?TRANSPORT
            (and
                (instance ?TRANSPORT Transportation)
                (patient ?TRANSPORT ?O))) instrument ?V))
MilitaryDevices.kif 143-168
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (instance ?COLL3 Collection)
        (instance ?COLL4 Collection)
        (instance ?MEMBER SelfConnectedObject)
        (member ?MEMBER ?COLL1)
        (member ?COLL3 ?COLL2)
        (member ?COLL4 ?COLL2)
        (not
            (equal ?COLL3 ?COLL4)))
    (not
        (and
            (member ?MEMBER ?COLL3)
            (member ?MEMBER ?COLL4))))
UXExperimentalTerms.kif 4829-4843
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4818-4827
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4811-4816
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 1394-1396
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 1351-1353

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


(=>
    (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
(=>
    (instance ?COMBINE Combining)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?COMBINE ?OBJ))))
Merge.kif 16751-16756
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 12187-12193
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 16770-16775


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