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 900-901
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") Merge.kif 898-899
(subclass SelfConnectedObject Object) Merge.kif 897-897

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


(disjoint Collection SelfConnectedObject) Merge.kif 1295-1295
(range BackFn SelfConnectedObject) Merge.kif 945-945
(range FrontFn SelfConnectedObject) Merge.kif 919-919
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14995-14995
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4235-4235
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1260-1260
(subclass Food SelfConnectedObject) Merge.kif 15013-15013
(subclass Iceberg SelfConnectedObject) Weather.kif 890-890
(subclass Meat SelfConnectedObject) Merge.kif 15015-15015
(subclass OrganicThing SelfConnectedObject) Merge.kif 903-903
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2822-2822
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2515-2515
(subclass Substance SelfConnectedObject) Merge.kif 1065-1065
(subclass Transitway SelfConnectedObject) Merge.kif 14301-14301
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 509-509
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") english_format.kif 510-510

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 944-944
(domain FrontFn 1 SelfConnectedObject) Merge.kif 918-918
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 15645-15645
(domain bottom 1 SelfConnectedObject) Merge.kif 9724-9724
(domain bottom 2 SelfConnectedObject) Merge.kif 9725-9725
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6315-6315
(domain contains 1 SelfConnectedObject) Merge.kif 1046-1046
(domain height 1 SelfConnectedObject) Merge.kif 7787-7787
(domain hole 2 SelfConnectedObject) Merge.kif 9868-9868
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20573-20573
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 14960-14960
(domain side 1 SelfConnectedObject) Merge.kif 9756-9756
(domain side 2 SelfConnectedObject) Merge.kif 9757-9757
(domain surface 1 SelfConnectedObject) Merge.kif 9688-9688
(domain surface 2 SelfConnectedObject) Merge.kif 9689-9689
(domain top 1 SelfConnectedObject) Merge.kif 9740-9740
(domain top 2 SelfConnectedObject) Merge.kif 9741-9741
(domain weight 1 SelfConnectedObject) Merge.kif 7559-7559
(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 2546-2546
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 2980-2980
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 2990-2990

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9545-9550
(=>
    (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 960-962
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 935-937

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 12385-12390
(=>
    (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 12404-12409


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