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 自身连接物体客体subclass

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


(disjoint Collection SelfConnectedObject) Merge.kif 1295-1295 群体 和 % 2 是 disjoint
(range BackFn SelfConnectedObject) Merge.kif 945-945 挪后函数range自身连接物体 的实例
(range FrontFn SelfConnectedObject) Merge.kif 919-919 挪前函数range自身连接物体 的实例
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14995-14995 FoodForFn 的所得值 是 自身连接物体subclass
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4235-4235 BodyOfWater自身连接物体subclass
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1260-1260 躯体性物体自身连接物体subclass
(subclass Food SelfConnectedObject) Merge.kif 15013-15013 Food自身连接物体subclass
(subclass Iceberg SelfConnectedObject) Weather.kif 890-890 Iceberg自身连接物体subclass
(subclass Meat SelfConnectedObject) Merge.kif 15015-15015 Meat自身连接物体subclass
(subclass OrganicThing SelfConnectedObject) Merge.kif 903-903 OrganicThing自身连接物体subclass
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2822-2822 Ramp自身连接物体subclass
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2515-2515 ShipContainer自身连接物体subclass
(subclass Substance SelfConnectedObject) Merge.kif 1065-1065 物质自身连接物体subclass
(subclass Transitway SelfConnectedObject) Merge.kif 14301-14301 Transitway自身连接物体subclass
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816 termFormat ChineseLanguage, 自身连接物体 and "自身连接物体"
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 509-509 termFormat EnglishLanguage, 自身连接物体 and "self connected object"
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") english_format.kif 510-510 termFormat JapaneseLanguage, 自身连接物体 and "自己接続オブジェクト"

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 944-944 挪后函数 的 1 数量 是 自身连接物体instance
(domain FrontFn 1 SelfConnectedObject) Merge.kif 918-918 挪前函数 的 1 数量 是 自身连接物体instance
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 15645-15645 近似直径 的 1 数量 是 自身连接物体instance
(domain bottom 1 SelfConnectedObject) Merge.kif 9724-9724 底部 的 1 数量 是 自身连接物体instance
(domain bottom 2 SelfConnectedObject) Merge.kif 9725-9725 底部 的 2 数量 是 自身连接物体instance
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6315-6315 capacity 的 1 数量 是 自身连接物体instance
(domain contains 1 SelfConnectedObject) Merge.kif 1046-1046 容纳 的 1 数量 是 自身连接物体instance
(domain height 1 SelfConnectedObject) Merge.kif 7787-7787 高度 的 1 数量 是 自身连接物体instance
(domain hole 2 SelfConnectedObject) Merge.kif 9868-9868 的 2 数量 是 自身连接物体instance
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 20573-20573 当时的组员 的 1 数量 是 自身连接物体instance
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 14960-14960 onboard 的 1 数量 是 自身连接物体instance
(domain side 1 SelfConnectedObject) Merge.kif 9756-9756 的 1 数量 是 自身连接物体instance
(domain side 2 SelfConnectedObject) Merge.kif 9757-9757 的 2 数量 是 自身连接物体instance
(domain surface 1 SelfConnectedObject) Merge.kif 9688-9688 表面 的 1 数量 是 自身连接物体instance
(domain surface 2 SelfConnectedObject) Merge.kif 9689-9689 表面 的 2 数量 是 自身连接物体instance
(domain top 1 SelfConnectedObject) Merge.kif 9740-9740 顶部 的 1 数量 是 自身连接物体instance
(domain top 2 SelfConnectedObject) Merge.kif 9741-9741 顶部 的 2 数量 是 自身连接物体instance
(domain weight 1 SelfConnectedObject) Merge.kif 7559-7559 weight 的 1 数量 是 自身连接物体instance
(domainSubclass ingredient 1 SelfConnectedObject) Food.kif 99-99 ingredient 的 1 数量 是 自身连接物体subclass
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 117-117 ingredientAmount 的 1 数量 是 自身连接物体subclass
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 118-118 ingredientAmount 的 2 数量 是 自身连接物体subclass
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2546-2546 trafficableForTrafficType 的 2 数量 是 自身连接物体subclass
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 2980-2980 transitwayCapacityCount 的 2 数量 是 自身连接物体subclass
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 2990-2990 transitwayCapacityRate 的 2 数量 是 自身连接物体subclass

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9545-9550 客体自身连接物体instance 若且唯若 对所有 另一个 客体第三 客体
(=>
    (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