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

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


(disjoint Collection SelfConnectedObject) Merge.kif 1156-1156 disjoint Collection and SelfConnectedObject
(range BackFn SelfConnectedObject) Merge.kif 856-856 range BackFn and SelfConnectedObject
(range FrontFn SelfConnectedObject) Merge.kif 836-836 range FrontFn and SelfConnectedObject
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 13785-13785 rangeSubclass FoodForFn and SelfConnectedObject
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4248-4248 subclass BodyOfWater and SelfConnectedObject
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1126-1126 subclass CorpuscularObject and SelfConnectedObject
(subclass Food SelfConnectedObject) Merge.kif 13800-13800 subclass Food and SelfConnectedObject
(subclass Iceberg SelfConnectedObject) Weather.kif 967-967 subclass Iceberg and SelfConnectedObject
(subclass Meat SelfConnectedObject) Merge.kif 13802-13802 subclass Meat and SelfConnectedObject
(subclass OrganicThing SelfConnectedObject) Merge.kif 824-824 subclass OrganicThing and SelfConnectedObject
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2817-2817 subclass Ramp and SelfConnectedObject
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2552-2552 subclass ShipContainer and SelfConnectedObject
(subclass Substance SelfConnectedObject) Merge.kif 960-960 subclass Substance and SelfConnectedObject
(subclass Transitway SelfConnectedObject) Merge.kif 13218-13218 subclass Transitway and SelfConnectedObject
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 839-839

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 855-855 domain BackFn, 1 and SelfConnectedObject
(domain FrontFn 1 SelfConnectedObject) Merge.kif 835-835 domain FrontFn, 1 and SelfConnectedObject
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 15646-15646 domain approximateDiameter, 1 and SelfConnectedObject
(domain bottom 1 SelfConnectedObject) Merge.kif 9091-9091 domain bottom, 1 and SelfConnectedObject
(domain bottom 2 SelfConnectedObject) Merge.kif 9092-9092 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 944-944 domain contains, 1 and SelfConnectedObject
(domain height 1 SelfConnectedObject) Merge.kif 7159-7159 domain height, 1 and SelfConnectedObject
(domain hole 2 SelfConnectedObject) Merge.kif 9229-9229 domain hole, 2 and SelfConnectedObject
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20586-20586 domain memberAtTime, 1 and SelfConnectedObject
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 14961-14961 domain onboard, 1 and SelfConnectedObject
(domain side 1 SelfConnectedObject) Merge.kif 9121-9121 domain side, 1 and SelfConnectedObject
(domain side 2 SelfConnectedObject) Merge.kif 9122-9122 domain side, 2 and SelfConnectedObject
(domain surface 1 SelfConnectedObject) Merge.kif 9059-9059 domain surface, 1 and SelfConnectedObject
(domain surface 2 SelfConnectedObject) Merge.kif 9060-9060 domain surface, 2 and SelfConnectedObject
(domain top 1 SelfConnectedObject) Merge.kif 9106-9106 domain top, 1 and SelfConnectedObject
(domain top 2 SelfConnectedObject) Merge.kif 9107-9107 domain top, 2 and SelfConnectedObject
(domain weight 1 SelfConnectedObject) Merge.kif 6947-6947 domain weight, 1 and SelfConnectedObject
(domainSubclass ingredient 1 SelfConnectedObject) Food.kif 51-51 domainSubclass ingredient, 1 and SelfConnectedObject
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 68-68 domainSubclass ingredientAmount, 1 and SelfConnectedObject
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 69-69 domainSubclass ingredientAmount, 2 and SelfConnectedObject
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2583-2583 domainSubclass trafficableForTrafficType, 2 and SelfConnectedObject
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3014-3014 domainSubclass transitwayCapacityCount, 2 and SelfConnectedObject
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3024-3024 domainSubclass transitwayCapacityRate, 2 and SelfConnectedObject

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 8924-8929 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 1974-1986
(=>
    (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 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 ?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 11529-11534
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 12186-12192
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 11545-11550


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