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。") 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 822-823
(subclass SelfConnectedObject Object) Merge.kif 820-820 自身连接物体客体subclass

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


(disjoint Collection SelfConnectedObject) Merge.kif 1189-1189 群体 和 % 2 是 disjoint
(range BackFn SelfConnectedObject) Merge.kif 857-857 挪后函数range自身连接物体 的实例
(range FrontFn SelfConnectedObject) Merge.kif 837-837 挪前函数range自身连接物体 的实例
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14216-14216 FoodForFn 的所得值 是 自身连接物体subclass
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4307-4307 水体自身连接物体subclass
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1148-1148 躯体性物体自身连接物体subclass
(subclass Food SelfConnectedObject) Merge.kif 14231-14231 Food自身连接物体subclass
(subclass Iceberg SelfConnectedObject) Geography.kif 4517-4517 冰山自身连接物体subclass
(subclass Meat SelfConnectedObject) Merge.kif 14233-14233 Meat自身连接物体subclass
(subclass OrganicThing SelfConnectedObject) Merge.kif 825-825 OrganicThing自身连接物体subclass
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2299-2299 舷梯自身连接物体subclass
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2581-2581 船舶集装箱自身连接物体subclass
(subclass Substance SelfConnectedObject) Merge.kif 963-963 物质自身连接物体subclass
(subclass Transitway SelfConnectedObject) Merge.kif 13640-13640 公交专用道自身连接物体subclass
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 856-856 挪后函数 的 1 数量 是 自身连接物体instance
(domain FrontFn 1 SelfConnectedObject) Merge.kif 836-836 挪前函数 的 1 数量 是 自身连接物体instance
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17188-17188 近似直径 的 1 数量 是 自身连接物体instance
(domain bottom 1 SelfConnectedObject) Merge.kif 9323-9323 底部 的 1 数量 是 自身连接物体instance
(domain bottom 2 SelfConnectedObject) Merge.kif 9324-9324 底部 的 2 数量 是 自身连接物体instance
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6317-6317 容量 的 1 数量 是 自身连接物体instance
(domain contains 1 SelfConnectedObject) Merge.kif 947-947 容纳 的 1 数量 是 自身连接物体instance
(domain height 1 SelfConnectedObject) Merge.kif 7338-7338 高度 的 1 数量 是 自身连接物体instance
(domain hole 2 SelfConnectedObject) Merge.kif 9461-9461 的 2 数量 是 自身连接物体instance
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 21975-21975 当时的组员 的 1 数量 是 自身连接物体instance
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 16673-16673 在船上 的 1 数量 是 自身连接物体instance
(domain side 1 SelfConnectedObject) Merge.kif 9353-9353 的 1 数量 是 自身连接物体instance
(domain side 2 SelfConnectedObject) Merge.kif 9354-9354 的 2 数量 是 自身连接物体instance
(domain surface 1 SelfConnectedObject) Merge.kif 9291-9291 表面 的 1 数量 是 自身连接物体instance
(domain surface 2 SelfConnectedObject) Merge.kif 9292-9292 表面 的 2 数量 是 自身连接物体instance
(domain top 1 SelfConnectedObject) Merge.kif 9338-9338 顶部 的 1 数量 是 自身连接物体instance
(domain top 2 SelfConnectedObject) Merge.kif 9339-9339 顶部 的 2 数量 是 自身连接物体instance
(domain weight 1 SelfConnectedObject) Merge.kif 7072-7072 重量 的 1 数量 是 自身连接物体instance
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 50-50 ingredientAmount 的 1 数量 是 自身连接物体subclass
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 51-51 ingredientAmount 的 2 数量 是 自身连接物体subclass
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2612-2612 可通行的交通类型 的 2 数量 是 自身连接物体subclass
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3043-3043 过境通行能力计数 的 2 数量 是 自身连接物体subclass
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3053-3053 过境通行能力 的 2 数量 是 自身连接物体subclass

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9152-9157 客体自身连接物体instance 若且唯若 对所有 另一个 客体第三 客体
(=>
    (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 1987-1999
(=>
    (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 4839-4853
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4828-4837
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4821-4826
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 868-870
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 849-851

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 ?P1 ?PM))
            (measure ?X
                (MeasureFn ?P2 ?PM))
            (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 ?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 11897-11902
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 13803-13809
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 11913-11918


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