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 14905-14905 The values returned by food for fn are subclasses of self connected object
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4492-4492 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 14920-14920 Food is a subclass of self connected object
(subclass Iceberg SelfConnectedObject) Geography.kif 4723-4723 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 2354-2354 Ramp 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 14312-14312 Transitway is a subclass of self connected object
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816 Transitway is a subclass of self connected object
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834 Transitway is a subclass of self connected object
(termFormat FrenchLanguage SelfConnectedObject "objet en une partie") french_format.kif 492-492 Transitway is a subclass of self connected object
(termFormat Hindi SelfConnectedObject "aatmasambaddha vastu") terms-hindi.txt 25-25 Transitway is a subclass of self connected object
(termFormat ItalianLanguage SelfConnectedObject "OggettoIntegro") terms-it.txt 28-28 Transitway is a subclass of self connected object
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") japanese_format.kif 2177-2177 Transitway is a subclass of self connected object
(termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado") portuguese_format.kif 444-444 Transitway is a subclass of self connected object
(termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol") terms-cb.txt 29-29 Transitway is a subclass of self connected object
(termFormat cz SelfConnectedObject "self connected object") terms-cz.txt 59-59 Transitway is a subclass of self connected object
(termFormat ro SelfConnectedObject "obiect indivizibil") relations-ro.kif 513-513 Transitway is a subclass of self connected object
(termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili") terms-tg.txt 29-29 Transitway is a subclass of self connected object

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 18199-18199 The number 1 argument of approximate diameter is an instance of self connected object
(domain bottom 1 SelfConnectedObject) Merge.kif 9745-9745 The number 1 argument of bottom is an instance of self connected object
(domain bottom 2 SelfConnectedObject) Merge.kif 9746-9746 The number 2 argument of bottom is an instance of self connected object
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6675-6675 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 7551-7551 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 22982-22982 The number 1 argument of member at time is an instance of self connected object
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 17659-17659 The number 1 argument of onboard is an instance of self connected object
(domain side 1 SelfConnectedObject) Merge.kif 9775-9775 The number 1 argument of side is an instance of self connected object
(domain side 2 SelfConnectedObject) Merge.kif 9776-9776 The number 2 argument of side is an instance of self connected object
(domain surface 1 SelfConnectedObject) Merge.kif 9713-9713 The number 1 argument of surface is an instance of self connected object
(domain surface 2 SelfConnectedObject) Merge.kif 9714-9714 The number 2 argument of surface is an instance of self connected object
(domain top 1 SelfConnectedObject) Merge.kif 9760-9760 The number 1 argument of top is an instance of self connected object
(domain top 2 SelfConnectedObject) Merge.kif 9761-9761 The number 2 argument of top is an instance of self connected object
(domain weight 1 SelfConnectedObject) Merge.kif 7285-7285 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 3127-3127 The number 2 argument of trafficable for traffic type is a subclass of self connected object

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


(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))		 Merge.kif 9551-9555
(=>
    (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 1970-1982
(=>
    (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 4638-4652
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))		 UXExperimentalTerms.kif 4627-4636
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))		 UXExperimentalTerms.kif 4620-4625
(=>
    (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 9557-9561
(=>
    (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 12521-12526
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))		 Mid-level-ontology.kif 14695-14701
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))		 Merge.kif 12537-12542


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