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 845-846
(subclass SelfConnectedObject Object) Merge.kif 843-843

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


(disjoint Collection SelfConnectedObject) Merge.kif 1220-1220
(range BackFn SelfConnectedObject) Merge.kif 880-880
(range FrontFn SelfConnectedObject) Merge.kif 860-860
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14595-14595
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4391-4391
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1184-1184
(subclass Food SelfConnectedObject) Merge.kif 14610-14610
(subclass Iceberg SelfConnectedObject) Geography.kif 4621-4621
(subclass Meat SelfConnectedObject) Merge.kif 14612-14612
(subclass OrganicThing SelfConnectedObject) Merge.kif 848-848
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2320-2320
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2581-2581
(subclass Substance SelfConnectedObject) Merge.kif 999-999
(subclass Transitway SelfConnectedObject) Merge.kif 14019-14019
(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 879-879
(domain FrontFn 1 SelfConnectedObject) Merge.kif 859-859
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17357-17357
(domain bottom 1 SelfConnectedObject) Merge.kif 9617-9617
(domain bottom 2 SelfConnectedObject) Merge.kif 9618-9618
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6345-6345
(domain contains 1 SelfConnectedObject) Merge.kif 977-977
(domain height 1 SelfConnectedObject) Merge.kif 7460-7460
(domain hole 2 SelfConnectedObject) Merge.kif 9763-9763
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22145-22145
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 16842-16842
(domain side 1 SelfConnectedObject) Merge.kif 9647-9647
(domain side 2 SelfConnectedObject) Merge.kif 9648-9648
(domain surface 1 SelfConnectedObject) Merge.kif 9585-9585
(domain surface 2 SelfConnectedObject) Merge.kif 9586-9586
(domain top 1 SelfConnectedObject) Merge.kif 9632-9632
(domain top 2 SelfConnectedObject) Merge.kif 9633-9633
(domain weight 1 SelfConnectedObject) Merge.kif 7194-7194
(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 9419-9424
(=>
    (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 891-893
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 872-874

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 12243-12248
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 13947-13953
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12259-12264


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