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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SelfConnectedObject

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 839-840
(subclass SelfConnectedObject Object) Merge.kif 837-837

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


(disjoint Collection SelfConnectedObject) Merge.kif 1214-1214
(range BackFn SelfConnectedObject) Merge.kif 874-874
(range FrontFn SelfConnectedObject) Merge.kif 854-854
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14588-14588
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4391-4391
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1178-1178
(subclass Food SelfConnectedObject) Merge.kif 14603-14603
(subclass Iceberg SelfConnectedObject) Geography.kif 4621-4621
(subclass Meat SelfConnectedObject) Merge.kif 14605-14605
(subclass OrganicThing SelfConnectedObject) Merge.kif 842-842
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2316-2316
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2581-2581
(subclass Substance SelfConnectedObject) Merge.kif 993-993
(subclass Transitway SelfConnectedObject) Merge.kif 14012-14012
(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 873-873
(domain FrontFn 1 SelfConnectedObject) Merge.kif 853-853
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17333-17333
(domain bottom 1 SelfConnectedObject) Merge.kif 9611-9611
(domain bottom 2 SelfConnectedObject) Merge.kif 9612-9612
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6341-6341
(domain contains 1 SelfConnectedObject) Merge.kif 971-971
(domain height 1 SelfConnectedObject) Merge.kif 7454-7454
(domain hole 2 SelfConnectedObject) Merge.kif 9757-9757
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22121-22121
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 16818-16818
(domain side 1 SelfConnectedObject) Merge.kif 9641-9641
(domain side 2 SelfConnectedObject) Merge.kif 9642-9642
(domain surface 1 SelfConnectedObject) Merge.kif 9579-9579
(domain surface 2 SelfConnectedObject) Merge.kif 9580-9580
(domain top 1 SelfConnectedObject) Merge.kif 9626-9626
(domain top 2 SelfConnectedObject) Merge.kif 9627-9627
(domain weight 1 SelfConnectedObject) Merge.kif 7188-7188
(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 9413-9418
(=>
    (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 885-887
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 866-868

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 12237-12242
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 13943-13949
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12253-12258


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