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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SelfConnectedObject

Sigma KEE - SelfConnectedObject
SelfConnectedObject(self connected object)A-horizon, A_horizon, B-horizon, B_horizon, C-horizon, C_horizon, absorbate, absorbent, absorbent_material, absorber, acrylic, acrylic_fiber, adsorbate, adsorbent, adsorbent_material, ball, bar, bed, belay, belting, black_body, blackbody, blade, blank, bodied, body, bog_soil, broken, building_material, cannel_coal, chunk, cinder, clinker, clod, clump, coal, coal_seam, coalface, continuum, crash_barrier, debris, detritus, diamagnet, diapir, drift, drumlin, dust, ember, faced, feedstock...

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 Self connected object is a subclass of object

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


(disjoint Collection SelfConnectedObject) Merge.kif 1159-1159 Collection is disjoint from self connected object
(range BackFn SelfConnectedObject) Merge.kif 857-857 The range of back is an instance of self connected object
(range FrontFn SelfConnectedObject) Merge.kif 837-837 The range of front is an instance of self connected object
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 13832-13832 The values returned by FoodForFn are subclasses of self connected object
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4248-4248 Body of water is a subclass of self connected object
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1129-1129 Corpuscular object is a subclass of self connected object
(subclass Food SelfConnectedObject) Merge.kif 13847-13847 Food is a subclass of self connected object
(subclass Iceberg SelfConnectedObject) Geography.kif 4432-4432 Iceberg is a subclass of self connected object
(subclass Meat SelfConnectedObject) Merge.kif 13849-13849 Meat is a subclass of self connected object
(subclass OrganicThing SelfConnectedObject) Merge.kif 825-825 OrganicThing is a subclass of self connected object
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2823-2823 Ramp is a subclass of self connected object
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2552-2552 Ship container is a subclass of self connected object
(subclass Substance SelfConnectedObject) Merge.kif 963-963 Substance is a subclass of self connected object
(subclass Transitway SelfConnectedObject) Merge.kif 13265-13265 Transitway is a subclass of self connected object
(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 856-856 The number 1 argument of back is an instance of self connected object
(domain FrontFn 1 SelfConnectedObject) Merge.kif 836-836 The number 1 argument of front is an instance of self connected object
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 15673-15673 The number 1 argument of approximate diameter is an instance of self connected object
(domain bottom 1 SelfConnectedObject) Merge.kif 9144-9144 The number 1 argument of bottom is an instance of self connected object
(domain bottom 2 SelfConnectedObject) Merge.kif 9145-9145 The number 2 argument of bottom is an instance of self connected object
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6320-6320 The number 1 argument of capacity is an instance of self connected object
(domain contains 1 SelfConnectedObject) Merge.kif 947-947 The number 1 argument of contains is an instance of self connected object
(domain height 1 SelfConnectedObject) Merge.kif 7205-7205 The number 1 argument of height is an instance of self connected object
(domain hole 2 SelfConnectedObject) Merge.kif 9282-9282 The number 2 argument of hole is an instance of self connected object
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20617-20617 The number 1 argument of member at time is an instance of self connected object
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 14988-14988 The number 1 argument of onboard is an instance of self connected object
(domain side 1 SelfConnectedObject) Merge.kif 9174-9174 The number 1 argument of side is an instance of self connected object
(domain side 2 SelfConnectedObject) Merge.kif 9175-9175 The number 2 argument of side is an instance of self connected object
(domain surface 1 SelfConnectedObject) Merge.kif 9112-9112 The number 1 argument of surface is an instance of self connected object
(domain surface 2 SelfConnectedObject) Merge.kif 9113-9113 The number 2 argument of surface is an instance of self connected object
(domain top 1 SelfConnectedObject) Merge.kif 9159-9159 The number 1 argument of top is an instance of self connected object
(domain top 2 SelfConnectedObject) Merge.kif 9160-9160 The number 2 argument of top is an instance of self connected object
(domain weight 1 SelfConnectedObject) Merge.kif 6993-6993 The number 1 argument of weight is an instance of self connected object
(domainSubclass ingredient 1 SelfConnectedObject) Food.kif 51-51 The number 1 argument of ingredient is a subclass of self connected object
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 68-68 The number 1 argument of amount of ingredient is a subclass of self connected object
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 69-69 The number 2 argument of amount of ingredient is a subclass of self connected object
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2583-2583 The number 2 argument of trafficable for traffic type is a subclass of self connected object
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3014-3014 The number 2 argument of transitway capacity count is a subclass of self connected object
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3024-3024 The number 2 argument of transitway capacity rate is a subclass of self connected object

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 8973-8978 An object is an instance of self connected object if and only if for all another object and a third 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 4838-4852
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4827-4836
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4820-4825
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 868-870
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 849-851

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 11579-11584
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 12213-12219
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 11595-11600


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