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 821-822
(subclass SelfConnectedObject Object) Merge.kif 819-819

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


(disjoint Collection SelfConnectedObject) Merge.kif 1188-1188
(range BackFn SelfConnectedObject) Merge.kif 856-856
(range FrontFn SelfConnectedObject) Merge.kif 836-836
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14253-14253
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4331-4331
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1147-1147
(subclass Food SelfConnectedObject) Merge.kif 14268-14268
(subclass Iceberg SelfConnectedObject) Geography.kif 4542-4542
(subclass Meat SelfConnectedObject) Merge.kif 14270-14270
(subclass OrganicThing SelfConnectedObject) Merge.kif 824-824
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2297-2297
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2581-2581
(subclass Substance SelfConnectedObject) Merge.kif 962-962
(subclass Transitway SelfConnectedObject) Merge.kif 13677-13677
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 855-855
(domain FrontFn 1 SelfConnectedObject) Merge.kif 835-835
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17306-17306
(domain bottom 1 SelfConnectedObject) Merge.kif 9347-9347
(domain bottom 2 SelfConnectedObject) Merge.kif 9348-9348
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6315-6315
(domain contains 1 SelfConnectedObject) Merge.kif 946-946
(domain height 1 SelfConnectedObject) Merge.kif 7315-7315
(domain hole 2 SelfConnectedObject) Merge.kif 9485-9485
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22093-22093
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 16791-16791
(domain side 1 SelfConnectedObject) Merge.kif 9377-9377
(domain side 2 SelfConnectedObject) Merge.kif 9378-9378
(domain surface 1 SelfConnectedObject) Merge.kif 9315-9315
(domain surface 2 SelfConnectedObject) Merge.kif 9316-9316
(domain top 1 SelfConnectedObject) Merge.kif 9362-9362
(domain top 2 SelfConnectedObject) Merge.kif 9363-9363
(domain weight 1 SelfConnectedObject) Merge.kif 7049-7049
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 50-50
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 51-51
(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 9176-9181
(=>
    (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 1987-1999
(=>
    (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 867-869
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 848-850

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 11934-11939
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 13916-13922
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 11950-11955


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