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。") Merge.kif 888-889
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") Merge.kif 886-887
(subclass SelfConnectedObject Object) Merge.kif 885-885

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


(disjoint Collection SelfConnectedObject) Merge.kif 1283-1283
(range BackFn SelfConnectedObject) Merge.kif 933-933
(range FrontFn SelfConnectedObject) Merge.kif 907-907
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14937-14937
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4236-4236
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1248-1248
(subclass Food SelfConnectedObject) Merge.kif 14955-14955
(subclass Iceberg SelfConnectedObject) Weather.kif 890-890
(subclass Meat SelfConnectedObject) Merge.kif 14957-14957
(subclass OrganicThing SelfConnectedObject) Merge.kif 891-891
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2822-2822
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2488-2488
(subclass Substance SelfConnectedObject) Merge.kif 1053-1053
(subclass Transitway SelfConnectedObject) Merge.kif 14243-14243
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 503-503
(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 26-26
(termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado") portuguese_format.kif 444-444
(termFormat ar SelfConnectedObject "جِسْم مُتَرَابِط بِنَفْسِهِ") arabic_format.kif 228-228
(termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol") terms-cb.txt 29-29
(termFormat cz SelfConnectedObject "self connected object") terms-cz.txt 59-59
(termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili") terms-tg.txt 29-29

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 932-932
(domain FrontFn 1 SelfConnectedObject) Merge.kif 906-906
(domain approximateDiameter 1 SelfConnectedObject) Geography.kif 6418-6418
(domain bottom 1 SelfConnectedObject) Merge.kif 9666-9666
(domain bottom 2 SelfConnectedObject) Merge.kif 9667-9667
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6315-6315
(domain contains 1 SelfConnectedObject) Merge.kif 1034-1034
(domain height 1 SelfConnectedObject) Merge.kif 7774-7774
(domain hole 2 SelfConnectedObject) Merge.kif 9810-9810
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20542-20542
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 14960-14960
(domain side 1 SelfConnectedObject) Merge.kif 9698-9698
(domain side 2 SelfConnectedObject) Merge.kif 9699-9699
(domain surface 1 SelfConnectedObject) Merge.kif 9630-9630
(domain surface 2 SelfConnectedObject) Merge.kif 9631-9631
(domain top 1 SelfConnectedObject) Merge.kif 9682-9682
(domain top 2 SelfConnectedObject) Merge.kif 9683-9683
(domain weight 1 SelfConnectedObject) Merge.kif 7546-7546
(domainSubclass ingredient 1 SelfConnectedObject) Food.kif 99-99
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 117-117
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 118-118
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2519-2519
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 2953-2953
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 2963-2963

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9490-9495
(=>
    (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 1973-1985
(=>
    (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 143-168
(=>
    (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 4829-4843
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4818-4827
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4811-4816
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 948-950
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 923-925

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 12327-12332
(=>
    (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 12346-12351


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