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 subclass SelfConnectedObject and Object

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


(disjoint Collection SelfConnectedObject) Merge.kif 1161-1161 disjoint Collection and SelfConnectedObject
(range BackFn SelfConnectedObject) Merge.kif 861-861 range BackFn and SelfConnectedObject
(range FrontFn SelfConnectedObject) Merge.kif 839-839 range FrontFn and SelfConnectedObject
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 13694-13694 rangeSubclass FoodForFn and SelfConnectedObject
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4248-4248 subclass BodyOfWater and SelfConnectedObject
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1131-1131 subclass CorpuscularObject and SelfConnectedObject
(subclass Food SelfConnectedObject) Merge.kif 13709-13709 subclass Food and SelfConnectedObject
(subclass Iceberg SelfConnectedObject) Weather.kif 967-967 subclass Iceberg and SelfConnectedObject
(subclass Meat SelfConnectedObject) Merge.kif 13711-13711 subclass Meat and SelfConnectedObject
(subclass OrganicThing SelfConnectedObject) Merge.kif 825-825 subclass OrganicThing and SelfConnectedObject
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2817-2817 subclass Ramp and SelfConnectedObject
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2543-2543 subclass ShipContainer and SelfConnectedObject
(subclass Substance SelfConnectedObject) Merge.kif 965-965 subclass Substance and SelfConnectedObject
(subclass Transitway SelfConnectedObject) Merge.kif 13127-13127 subclass Transitway and SelfConnectedObject
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816 termFormat ChineseLanguage, SelfConnectedObject and "自身连接物体"
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 839-839 termFormat EnglishLanguage, SelfConnectedObject and "self connected object"

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 860-860 domain BackFn, 1 and SelfConnectedObject
(domain FrontFn 1 SelfConnectedObject) Merge.kif 838-838 domain FrontFn, 1 and SelfConnectedObject
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 15645-15645 domain approximateDiameter, 1 and SelfConnectedObject
(domain bottom 1 SelfConnectedObject) Merge.kif 9000-9000 domain bottom, 1 and SelfConnectedObject
(domain bottom 2 SelfConnectedObject) Merge.kif 9001-9001 domain bottom, 2 and SelfConnectedObject
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6314-6314 domain capacity, 1 and SelfConnectedObject
(domain contains 1 SelfConnectedObject) Merge.kif 949-949 domain contains, 1 and SelfConnectedObject
(domain height 1 SelfConnectedObject) Merge.kif 7071-7071 domain height, 1 and SelfConnectedObject
(domain hole 2 SelfConnectedObject) Merge.kif 9138-9138 domain hole, 2 and SelfConnectedObject
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20574-20574 domain memberAtTime, 1 and SelfConnectedObject
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 14960-14960 domain onboard, 1 and SelfConnectedObject
(domain side 1 SelfConnectedObject) Merge.kif 9030-9030 domain side, 1 and SelfConnectedObject
(domain side 2 SelfConnectedObject) Merge.kif 9031-9031 domain side, 2 and SelfConnectedObject
(domain surface 1 SelfConnectedObject) Merge.kif 8968-8968 domain surface, 1 and SelfConnectedObject
(domain surface 2 SelfConnectedObject) Merge.kif 8969-8969 domain surface, 2 and SelfConnectedObject
(domain top 1 SelfConnectedObject) Merge.kif 9015-9015 domain top, 1 and SelfConnectedObject
(domain top 2 SelfConnectedObject) Merge.kif 9016-9016 domain top, 2 and SelfConnectedObject
(domain weight 1 SelfConnectedObject) Merge.kif 6861-6861 domain weight, 1 and SelfConnectedObject
(domainSubclass ingredient 1 SelfConnectedObject) Food.kif 99-99 domainSubclass ingredient, 1 and SelfConnectedObject
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 116-116 domainSubclass ingredientAmount, 1 and SelfConnectedObject
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 117-117 domainSubclass ingredientAmount, 2 and SelfConnectedObject
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2574-2574 domainSubclass trafficableForTrafficType, 2 and SelfConnectedObject
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3005-3005 domainSubclass transitwayCapacityCount, 2 and SelfConnectedObject
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3015-3015 domainSubclass transitwayCapacityRate, 2 and SelfConnectedObject

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 8833-8838 instance Object and SelfConnectedObject Object Object
(=>
    (and
        (instance ?SCO SelfConnectedObject)
        (instance ?C Compressing)
        (patient ?C ?SCO)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N1 ?V)))
        (instance ?V VolumeMeasure)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?C))
            (measure ?SCO
                (MeasureFn ?N2 ?V))))
    (greaterThan ?N1 ?N2))
Cars.kif 1973-1985
(=>
    (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 4836-4850
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4825-4834
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4818-4823
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 872-874
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 851-853

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 ?PM ?P1))
            (measure ?X
                (MeasureFn ?PM ?P2))
            (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 ?PM ?P1))
            (measure ?X
                (MeasureFn ?PM ?P2))
            (instance ?PM UnitOfAtmosphericPressure)
            (greaterThan ?P2 ?P1))))
Cars.kif 403-416
(=>
    (instance ?COMBINE Combining)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?COMBINE ?OBJ))))
Merge.kif 11438-11443
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 12185-12191
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 11454-11459


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners