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 839-840
(subclass SelfConnectedObject Object) Merge.kif 837-837 自身连接物体 是 客体 的 subclass

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


(disjoint Collection SelfConnectedObject) Merge.kif 1214-1214 群体 和 % 2 是 disjoint
(range BackFn SelfConnectedObject) Merge.kif 874-874 挪后函数 的 range 是 自身连接物体 的实例
(range FrontFn SelfConnectedObject) Merge.kif 854-854 挪前函数 的 range 是 自身连接物体 的实例
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14588-14588 FoodForFn 的所得值 是 自身连接物体 的 subclass
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4391-4391 水体 是 自身连接物体 的 subclass
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1178-1178 躯体性物体 是 自身连接物体 的 subclass
(subclass Food SelfConnectedObject) Merge.kif 14603-14603 Food 是 自身连接物体 的 subclass
(subclass Iceberg SelfConnectedObject) Geography.kif 4621-4621 冰山 是 自身连接物体 的 subclass
(subclass Meat SelfConnectedObject) Merge.kif 14605-14605 Meat 是 自身连接物体 的 subclass
(subclass OrganicThing SelfConnectedObject) Merge.kif 842-842 OrganicThing 是 自身连接物体 的 subclass
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2316-2316 舷梯 是 自身连接物体 的 subclass
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2581-2581 船舶集装箱 是 自身连接物体 的 subclass
(subclass Substance SelfConnectedObject) Merge.kif 993-993 物质 是 自身连接物体 的 subclass
(subclass Transitway SelfConnectedObject) Merge.kif 14012-14012 公交专用道 是 自身连接物体 的 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 873-873 挪后函数 的 1 数量 是 自身连接物体 的 instance
(domain FrontFn 1 SelfConnectedObject) Merge.kif 853-853 挪前函数 的 1 数量 是 自身连接物体 的 instance
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17333-17333 近似直径 的 1 数量 是 自身连接物体 的 instance
(domain bottom 1 SelfConnectedObject) Merge.kif 9611-9611 底部 的 1 数量 是 自身连接物体 的 instance
(domain bottom 2 SelfConnectedObject) Merge.kif 9612-9612 底部 的 2 数量 是 自身连接物体 的 instance
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6341-6341 容量 的 1 数量 是 自身连接物体 的 instance
(domain contains 1 SelfConnectedObject) Merge.kif 971-971 容纳 的 1 数量 是 自身连接物体 的 instance
(domain height 1 SelfConnectedObject) Merge.kif 7454-7454 高度 的 1 数量 是 自身连接物体 的 instance
(domain hole 2 SelfConnectedObject) Merge.kif 9757-9757 洞 的 2 数量 是 自身连接物体 的 instance
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22121-22121 当时的组员 的 1 数量 是 自身连接物体 的 instance
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 16818-16818 在船上 的 1 数量 是 自身连接物体 的 instance
(domain side 1 SelfConnectedObject) Merge.kif 9641-9641 边 的 1 数量 是 自身连接物体 的 instance
(domain side 2 SelfConnectedObject) Merge.kif 9642-9642 边 的 2 数量 是 自身连接物体 的 instance
(domain surface 1 SelfConnectedObject) Merge.kif 9579-9579 表面 的 1 数量 是 自身连接物体 的 instance
(domain surface 2 SelfConnectedObject) Merge.kif 9580-9580 表面 的 2 数量 是 自身连接物体 的 instance
(domain top 1 SelfConnectedObject) Merge.kif 9626-9626 顶部 的 1 数量 是 自身连接物体 的 instance
(domain top 2 SelfConnectedObject) Merge.kif 9627-9627 顶部 的 2 数量 是 自身连接物体 的 instance
(domain weight 1 SelfConnectedObject) Merge.kif 7188-7188 重量 的 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 9413-9418 客体 是 自身连接物体 的 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 885-887
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))		 Merge.kif 866-868

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 12237-12242
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))		 Mid-level-ontology.kif 13943-13949
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))		 Merge.kif 12253-12258


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