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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SelfConnectedObject

Sigma KEE - SelfConnectedObject
SelfConnectedObjectعارِضة, كتْلة, كُرة, جِسْم, جُرُم, خَطّ, شرِيط, مادة أوّلِيّة, مادّة خام, ...

appearance as argument number 1
-------------------------


(documentation SelfConnectedObject ChineseLanguage " SelfConnectedObject 是任何并非由两个或以上不相连部分所组成的 Object。") Merge.kif 886-887
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") Merge.kif 884-885
(subclass SelfConnectedObject Object) Merge.kif 883-883

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


(disjoint Collection SelfConnectedObject) Merge.kif 1278-1278
(range BackFn SelfConnectedObject) Merge.kif 931-931
(range FrontFn SelfConnectedObject) Merge.kif 905-905
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14859-14859
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4236-4236
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1243-1243
(subclass Food SelfConnectedObject) Merge.kif 14877-14877
(subclass Iceberg SelfConnectedObject) Weather.kif 890-890
(subclass Meat SelfConnectedObject) Merge.kif 14879-14879
(subclass OrganicThing SelfConnectedObject) Merge.kif 889-889
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2822-2822
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2487-2487
(subclass Substance SelfConnectedObject) Merge.kif 1048-1048
(subclass Transitway SelfConnectedObject) Merge.kif 14165-14165
(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 930-930
(domain FrontFn 1 SelfConnectedObject) Merge.kif 904-904
(domain approximateDiameter 1 SelfConnectedObject) Geography.kif 6418-6418
(domain bottom 1 SelfConnectedObject) Merge.kif 9587-9587
(domain bottom 2 SelfConnectedObject) Merge.kif 9588-9588
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6311-6311
(domain contains 1 SelfConnectedObject) Merge.kif 1029-1029
(domain height 1 SelfConnectedObject) Merge.kif 7746-7746
(domain hole 2 SelfConnectedObject) Merge.kif 9731-9731
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20181-20181
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 14700-14700
(domain side 1 SelfConnectedObject) Merge.kif 9619-9619
(domain side 2 SelfConnectedObject) Merge.kif 9620-9620
(domain surface 1 SelfConnectedObject) Merge.kif 9551-9551
(domain surface 2 SelfConnectedObject) Merge.kif 9552-9552
(domain top 1 SelfConnectedObject) Merge.kif 9603-9603
(domain top 2 SelfConnectedObject) Merge.kif 9604-9604
(domain weight 1 SelfConnectedObject) Merge.kif 7518-7518
(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 2518-2518
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 2952-2952
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 2962-2962

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9414-9419
(=>
    (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 2014-2026
(=>
    (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 4830-4844
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4819-4828
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4812-4817
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 946-948
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 921-923

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 12249-12254
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 11926-11932
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12268-12273


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners