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。") chinese_format.kif 1555-1556
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") Merge.kif 822-823
(subclass SelfConnectedObject Object) Merge.kif 820-820

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


(disjoint Collection SelfConnectedObject) Merge.kif 1160-1160
(range BackFn SelfConnectedObject) Merge.kif 857-857
(range FrontFn SelfConnectedObject) Merge.kif 837-837
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14162-14162
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4307-4307
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1129-1129
(subclass Food SelfConnectedObject) Merge.kif 14177-14177
(subclass Iceberg SelfConnectedObject) Geography.kif 4517-4517
(subclass Meat SelfConnectedObject) Merge.kif 14179-14179
(subclass OrganicThing SelfConnectedObject) Merge.kif 825-825
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2297-2297
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2581-2581
(subclass Substance SelfConnectedObject) Merge.kif 963-963
(subclass Transitway SelfConnectedObject) Merge.kif 13595-13595
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 839-839

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 856-856
(domain FrontFn 1 SelfConnectedObject) Merge.kif 836-836
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 16120-16120
(domain bottom 1 SelfConnectedObject) Merge.kif 9280-9280
(domain bottom 2 SelfConnectedObject) Merge.kif 9281-9281
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6047-6047
(domain contains 1 SelfConnectedObject) Merge.kif 947-947
(domain height 1 SelfConnectedObject) Merge.kif 7303-7303
(domain hole 2 SelfConnectedObject) Merge.kif 9418-9418
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20893-20893
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 15605-15605
(domain side 1 SelfConnectedObject) Merge.kif 9310-9310
(domain side 2 SelfConnectedObject) Merge.kif 9311-9311
(domain surface 1 SelfConnectedObject) Merge.kif 9248-9248
(domain surface 2 SelfConnectedObject) Merge.kif 9249-9249
(domain top 1 SelfConnectedObject) Merge.kif 9295-9295
(domain top 2 SelfConnectedObject) Merge.kif 9296-9296
(domain weight 1 SelfConnectedObject) Merge.kif 7037-7037
(domainSubclass ingredient 1 SelfConnectedObject) Food.kif 51-51
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 68-68
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 69-69
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2612-2612
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3043-3043
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3053-3053

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9109-9114
(=>
    (and
        (instance ?SCO SelfConnectedObject)
        (instance ?C Compressing)
        (patient ?C ?SCO)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N1 ?V)))
        (instance ?V UnitOfVolume)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N2 ?V))))
    (greaterThan ?N1 ?N2))
Cars.kif 2001-2013
(=>
    (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 144-169
(=>
    (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 4839-4853
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4828-4837
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4821-4826
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 868-870
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 849-851

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 ?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
(=>
    (instance ?COMBINE Combining)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?COMBINE ?OBJ))))
Merge.kif 11853-11858
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 12842-12848
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 11869-11874


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 3.0 is open source software produced by Articulate Software and its partners