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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 853-854
(subclass SelfConnectedObject Object) Merge.kif 851-851 Self connected object is a subclass of object

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


(disjoint Collection SelfConnectedObject) Merge.kif 1251-1251 Collection is disjoint from self connected object
(range BackFn SelfConnectedObject) Merge.kif 888-888 The range of back is an instance of self connected object
(range FrontFn SelfConnectedObject) Merge.kif 868-868 The range of front is an instance of self connected object
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14715-14715 The values returned by food for fn are subclasses of self connected object
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4402-4402 Body of water is a subclass of self connected object
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1215-1215 Corpuscular object is a subclass of self connected object
(subclass Food SelfConnectedObject) Merge.kif 14730-14730 Food is a subclass of self connected object
(subclass Iceberg SelfConnectedObject) Geography.kif 4632-4632 Iceberg is a subclass of self connected object
(subclass OrganicThing SelfConnectedObject) Merge.kif 856-856 Organic thing is a subclass of self connected object
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2326-2326 Ramp is a subclass of self connected object
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2574-2574 Ship container is a subclass of self connected object
(subclass Substance SelfConnectedObject) Merge.kif 1030-1030 Substance is a subclass of self connected object
(subclass Transitway SelfConnectedObject) Merge.kif 14125-14125 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 834-834

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 887-887 The number 1 argument of back is an instance of self connected object
(domain FrontFn 1 SelfConnectedObject) Merge.kif 867-867 The number 1 argument of front is an instance of self connected object
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17761-17761 The number 1 argument of approximate diameter is an instance of self connected object
(domain bottom 1 SelfConnectedObject) Merge.kif 9678-9678 The number 1 argument of bottom is an instance of self connected object
(domain bottom 2 SelfConnectedObject) Merge.kif 9679-9679 The number 2 argument of bottom is an instance of self connected object
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6641-6641 The number 1 argument of capacity is an instance of self connected object
(domain contains 1 SelfConnectedObject) Merge.kif 1008-1008 The number 1 argument of contains is an instance of self connected object
(domain height 1 SelfConnectedObject) Merge.kif 7517-7517 The number 1 argument of height is an instance of self connected object
(domain hole 2 SelfConnectedObject) Merge.kif 984-984 The number 2 argument of hole is an instance of self connected object
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22648-22648 The number 1 argument of member at time is an instance of self connected object
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 17244-17244 The number 1 argument of onboard is an instance of self connected object
(domain side 1 SelfConnectedObject) Merge.kif 9708-9708 The number 1 argument of side is an instance of self connected object
(domain side 2 SelfConnectedObject) Merge.kif 9709-9709 The number 2 argument of side is an instance of self connected object
(domain surface 1 SelfConnectedObject) Merge.kif 9646-9646 The number 1 argument of surface is an instance of self connected object
(domain surface 2 SelfConnectedObject) Merge.kif 9647-9647 The number 2 argument of surface is an instance of self connected object
(domain top 1 SelfConnectedObject) Merge.kif 9693-9693 The number 1 argument of top is an instance of self connected object
(domain top 2 SelfConnectedObject) Merge.kif 9694-9694 The number 2 argument of top is an instance of self connected object
(domain weight 1 SelfConnectedObject) Merge.kif 7251-7251 The number 1 argument of weight is an instance of self connected object
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 50-50 The number 1 argument of amount of ingredient is a subclass of self connected object
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 51-51 The number 2 argument of amount of ingredient is a subclass of self connected object
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2605-2605 The number 2 argument of trafficable for traffic type is a subclass of self connected object
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3036-3036 The number 2 argument of transitway capacity count is a subclass of self connected object
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3046-3046 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 9480-9485 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 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 899-901
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 880-882

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 12334-12339
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 14324-14330
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12350-12355


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