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 864-865
(documentation SelfConnectedObject JapaneseLanguage "SelfConnectedObject は任意の Object で、2つ以上の切断されたパーツで構成されていない。") japanese_format.kif 126-127
(documentation SelfConnectedObject SpanishLanguage "Un SelfConnectedObject es cualquier Object que no consiste en dos o más partes desconectadas.") spanish_format.kif 146-147
(subclass SelfConnectedObject Object) Merge.kif 862-862 Self connected object is a subclass of object

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


(disjoint Collection SelfConnectedObject) Merge.kif 1262-1262 Collection is disjoint from self connected object
(range BackFn SelfConnectedObject) Merge.kif 899-899 The range of back is an instance of self connected object
(range FrontFn SelfConnectedObject) Merge.kif 879-879 The range of front is an instance of self connected object
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14829-14829 The values returned by food for fn are subclasses of self connected object
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4470-4470 Body of water is a subclass of self connected object
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1226-1226 Corpuscular object is a subclass of self connected object
(subclass Food SelfConnectedObject) Merge.kif 14844-14844 Food is a subclass of self connected object
(subclass Iceberg SelfConnectedObject) Geography.kif 4701-4701 Iceberg is a subclass of self connected object
(subclass OrganicThing SelfConnectedObject) Merge.kif 867-867 Organic thing is a subclass of self connected object
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2333-2333 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 1041-1041 Substance is a subclass of self connected object
(subclass Transitway SelfConnectedObject) Merge.kif 14236-14236 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
(termFormat FrenchLanguage SelfConnectedObject "objet en une partie") french_format.kif 492-492
(termFormat Hindi SelfConnectedObject "aatmasambaddha vastu") terms-hindi.txt 25-25
(termFormat ItalianLanguage SelfConnectedObject "OggettoIntegro") terms-it.txt 28-28
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") japanese_format.kif 2177-2177
(termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado") portuguese_format.kif 444-444
(termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol") terms-cb.txt 29-29
(termFormat cz SelfConnectedObject "self connected object") terms-cz.txt 59-59
(termFormat ro SelfConnectedObject "obiect indivizibil") relations-ro.kif 513-513
(termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili") terms-tg.txt 29-29

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 898-898 The number 1 argument of back is an instance of self connected object
(domain FrontFn 1 SelfConnectedObject) Merge.kif 878-878 The number 1 argument of front is an instance of self connected object
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17890-17890 The number 1 argument of approximate diameter is an instance of self connected object
(domain bottom 1 SelfConnectedObject) Merge.kif 9709-9709 The number 1 argument of bottom is an instance of self connected object
(domain bottom 2 SelfConnectedObject) Merge.kif 9710-9710 The number 2 argument of bottom is an instance of self connected object
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6653-6653 The number 1 argument of capacity is an instance of self connected object
(domain contains 1 SelfConnectedObject) Merge.kif 1019-1019 The number 1 argument of contains is an instance of self connected object
(domain height 1 SelfConnectedObject) Merge.kif 7550-7550 The number 1 argument of height is an instance of self connected object
(domain hole 2 SelfConnectedObject) Merge.kif 995-995 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 17373-17373 The number 1 argument of onboard is an instance of self connected object
(domain side 1 SelfConnectedObject) Merge.kif 9739-9739 The number 1 argument of side is an instance of self connected object
(domain side 2 SelfConnectedObject) Merge.kif 9740-9740 The number 2 argument of side is an instance of self connected object
(domain surface 1 SelfConnectedObject) Merge.kif 9677-9677 The number 1 argument of surface is an instance of self connected object
(domain surface 2 SelfConnectedObject) Merge.kif 9678-9678 The number 2 argument of surface is an instance of self connected object
(domain top 1 SelfConnectedObject) Merge.kif 9724-9724 The number 1 argument of top is an instance of self connected object
(domain top 2 SelfConnectedObject) Merge.kif 9725-9725 The number 2 argument of top is an instance of self connected object
(domain weight 1 SelfConnectedObject) Merge.kif 7284-7284 The number 1 argument of weight is an instance of self connected object
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 1656-1656 The number 1 argument of amount of ingredient is a subclass of self connected object
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 1657-1657 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
-------------------------


(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))
Merge.kif 9515-9519
(=>
    (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 4646-4660
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4635-4644
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4628-4633
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 910-912
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 891-893

consequent
-------------------------


(=>
    (and
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2))
        (connected ?PART1 ?PART2))
    (instance ?OBJ SelfConnectedObject))
Merge.kif 9521-9525
(=>
    (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 12445-12450
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 14449-14455
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12461-12466


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