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 864-865
(documentation SelfConnectedObject JapaneseLanguage "SelfConnectedObject は任意の Object で、2つ以上の切断されたパーツで構成されていない。") japanese_format.kif 126-127
(documentation SelfConnectedObject SpanishLanguage "Un SelfConnectedObject es cualquier Object que no consiste en dos o más partes desconectadas.") spanish_format.kif 146-147
(subclass SelfConnectedObject Object) Merge.kif 862-862 自身连接物体 是 客体 的 subclass

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


(disjoint Collection SelfConnectedObject) Merge.kif 1262-1262 群体 和 % 2 是 disjoint
(range BackFn SelfConnectedObject) Merge.kif 899-899 挪后函数 的 range 是 自身连接物体 的实例
(range FrontFn SelfConnectedObject) Merge.kif 879-879 挪前函数 的 range 是 自身连接物体 的实例
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14881-14881 FoodForFn 的所得值 是 自身连接物体 的 subclass
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4492-4492 水体 是 自身连接物体 的 subclass
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1226-1226 躯体性物体 是 自身连接物体 的 subclass
(subclass Food SelfConnectedObject) Merge.kif 14896-14896 Food 是 自身连接物体 的 subclass
(subclass Iceberg SelfConnectedObject) Geography.kif 4723-4723 冰山 是 自身连接物体 的 subclass
(subclass OrganicThing SelfConnectedObject) Merge.kif 867-867 OrganicThing 是 自身连接物体 的 subclass
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2361-2361 舷梯 是 自身连接物体 的 subclass
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2574-2574 船舶集装箱 是 自身连接物体 的 subclass
(subclass Substance SelfConnectedObject) Merge.kif 1041-1041 物质 是 自身连接物体 的 subclass
(subclass Transitway SelfConnectedObject) Merge.kif 14288-14288 公交专用道 是 自身连接物体 的 subclass
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834
(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 28-28
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") japanese_format.kif 2177-2177
(termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado") portuguese_format.kif 444-444
(termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol") terms-cb.txt 29-29
(termFormat cz SelfConnectedObject "self connected object") terms-cz.txt 59-59
(termFormat ro SelfConnectedObject "obiect indivizibil") relations-ro.kif 513-513
(termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili") terms-tg.txt 29-29

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 898-898 挪后函数 的 1 数量 是 自身连接物体 的 instance
(domain FrontFn 1 SelfConnectedObject) Merge.kif 878-878 挪前函数 的 1 数量 是 自身连接物体 的 instance
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17940-17940 近似直径 的 1 数量 是 自身连接物体 的 instance
(domain bottom 1 SelfConnectedObject) Merge.kif 9731-9731 底部 的 1 数量 是 自身连接物体 的 instance
(domain bottom 2 SelfConnectedObject) Merge.kif 9732-9732 底部 的 2 数量 是 自身连接物体 的 instance
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6680-6680 容量 的 1 数量 是 自身连接物体 的 instance
(domain contains 1 SelfConnectedObject) Merge.kif 1019-1019 容纳 的 1 数量 是 自身连接物体 的 instance
(domain height 1 SelfConnectedObject) Merge.kif 7550-7550 高度 的 1 数量 是 自身连接物体 的 instance
(domain hole 2 SelfConnectedObject) Merge.kif 995-995 洞 的 2 数量 是 自身连接物体 的 instance
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22698-22698 当时的组员 的 1 数量 是 自身连接物体 的 instance
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 17400-17400 在船上 的 1 数量 是 自身连接物体 的 instance
(domain side 1 SelfConnectedObject) Merge.kif 9761-9761 边 的 1 数量 是 自身连接物体 的 instance
(domain side 2 SelfConnectedObject) Merge.kif 9762-9762 边 的 2 数量 是 自身连接物体 的 instance
(domain surface 1 SelfConnectedObject) Merge.kif 9699-9699 表面 的 1 数量 是 自身连接物体 的 instance
(domain surface 2 SelfConnectedObject) Merge.kif 9700-9700 表面 的 2 数量 是 自身连接物体 的 instance
(domain top 1 SelfConnectedObject) Merge.kif 9746-9746 顶部 的 1 数量 是 自身连接物体 的 instance
(domain top 2 SelfConnectedObject) Merge.kif 9747-9747 顶部 的 2 数量 是 自身连接物体 的 instance
(domain weight 1 SelfConnectedObject) Merge.kif 7284-7284 重量 的 1 数量 是 自身连接物体 的 instance
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 1656-1656 ingredientAmount 的 1 数量 是 自身连接物体 的 subclass
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 1657-1657 ingredientAmount 的 2 数量 是 自身连接物体 的 subclass
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2605-2605 可通行的交通类型 的 2 数量 是 自身连接物体 的 subclass
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3036-3036 过境通行能力计数 的 2 数量 是 自身连接物体 的 subclass
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3046-3046 过境通行能力 的 2 数量 是 自身连接物体 的 subclass

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


(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))		 Merge.kif 9537-9541
(=>
    (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 1993-2005
(=>
    (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 4638-4652
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))		 UXExperimentalTerms.kif 4627-4636
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))		 UXExperimentalTerms.kif 4620-4625
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))		 Merge.kif 910-912
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))		 Merge.kif 891-893

consequent
-------------------------


(=>
    (and
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2))
        (connected ?PART1 ?PART2))
    (instance ?OBJ SelfConnectedObject))		 Merge.kif 9543-9547
(=>
    (attribute ?X PartialVacuum)
    (exists (?O ?G ?P1 ?P2 ?PM)
        (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 ?P1 ?P2 ?PM)
        (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 12497-12502
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))		 Mid-level-ontology.kif 14476-14482
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))		 Merge.kif 12513-12518


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