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 858-859
(subclass SelfConnectedObject Object) Merge.kif 856-856

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


(disjoint Collection SelfConnectedObject) Merge.kif 1233-1233
(range BackFn SelfConnectedObject) Merge.kif 893-893
(range FrontFn SelfConnectedObject) Merge.kif 873-873
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14718-14718
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4402-4402
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1197-1197
(subclass Food SelfConnectedObject) Merge.kif 14733-14733
(subclass Iceberg SelfConnectedObject) Geography.kif 4632-4632
(subclass OrganicThing SelfConnectedObject) Merge.kif 861-861
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2326-2326
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2574-2574
(subclass Substance SelfConnectedObject) Merge.kif 1012-1012
(subclass Transitway SelfConnectedObject) Merge.kif 14128-14128
(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 892-892
(domain FrontFn 1 SelfConnectedObject) Merge.kif 872-872
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17760-17760
(domain bottom 1 SelfConnectedObject) Merge.kif 9650-9650
(domain bottom 2 SelfConnectedObject) Merge.kif 9651-9651
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6640-6640
(domain contains 1 SelfConnectedObject) Merge.kif 990-990
(domain height 1 SelfConnectedObject) Merge.kif 7489-7489
(domain hole 2 SelfConnectedObject) Merge.kif 9796-9796
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22647-22647
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 17243-17243
(domain side 1 SelfConnectedObject) Merge.kif 9680-9680
(domain side 2 SelfConnectedObject) Merge.kif 9681-9681
(domain surface 1 SelfConnectedObject) Merge.kif 9618-9618
(domain surface 2 SelfConnectedObject) Merge.kif 9619-9619
(domain top 1 SelfConnectedObject) Merge.kif 9665-9665
(domain top 2 SelfConnectedObject) Merge.kif 9666-9666
(domain weight 1 SelfConnectedObject) Merge.kif 7223-7223
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 50-50
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 51-51
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2605-2605
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3036-3036
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3046-3046

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9452-9457
(=>
    (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 4843-4857
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4832-4841
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4825-4830
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 904-906
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 885-887

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


(=>
    (attribute ?X PartialVacuum)
    (exists (?O ?G ?P1 ?P2 ?PM)
        (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 ?P1 ?P2 ?PM)
        (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 12337-12342
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 14323-14329
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12353-12358


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