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。") 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 では %n

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


(disjoint Collection SelfConnectedObject) Merge.kif 1262-1262 コレクション と 自己接続オブジェクト は disjoint では %n
(range BackFn SelfConnectedObject) Merge.kif 899-899 BackFn の range は 自己接続オブジェクト のインスタンス では %n
(range FrontFn SelfConnectedObject) Merge.kif 879-879 FrontFn の range は 自己接続オブジェクト のインスタンス では %n
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14859-14859 FoodForFn が返す値は 自己接続オブジェクト の subclasses では %n
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4492-4492 BodyOfWater は 自己接続オブジェクト の subclass では %n
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1226-1226 微粒子オブジェクト は 自己接続オブジェクト の subclass では %n
(subclass Food SelfConnectedObject) Merge.kif 14874-14874 Food は 自己接続オブジェクト の subclass では %n
(subclass Iceberg SelfConnectedObject) Geography.kif 4723-4723 Iceberg は 自己接続オブジェクト の subclass では %n
(subclass OrganicThing SelfConnectedObject) Merge.kif 867-867 OrganicThing は 自己接続オブジェクト の subclass では %n
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2361-2361 Ramp は 自己接続オブジェクト の subclass では %n
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2574-2574 ShipContainer は 自己接続オブジェクト の subclass では %n
(subclass Substance SelfConnectedObject) Merge.kif 1041-1041 物質 は 自己接続オブジェクト の subclass では %n
(subclass Transitway SelfConnectedObject) Merge.kif 14266-14266 Transitway は 自己接続オブジェクト の subclass では %n
(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 BackFn の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain FrontFn 1 SelfConnectedObject) Merge.kif 878-878 FrontFn の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17941-17941 approximateDiameter の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain bottom 1 SelfConnectedObject) Merge.kif 9709-9709 bottom の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain bottom 2 SelfConnectedObject) Merge.kif 9710-9710 bottom の数値 2 引数は 自己接続オブジェクト の instance では %n
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6681-6681 capacity の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain contains 1 SelfConnectedObject) Merge.kif 1019-1019 contains の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain height 1 SelfConnectedObject) Merge.kif 7550-7550 height の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain hole 2 SelfConnectedObject) Merge.kif 995-995 hole の数値 2 引数は 自己接続オブジェクト の instance では %n
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22699-22699 memberAtTime の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 17401-17401 onboard の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain side 1 SelfConnectedObject) Merge.kif 9739-9739 side の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain side 2 SelfConnectedObject) Merge.kif 9740-9740 side の数値 2 引数は 自己接続オブジェクト の instance では %n
(domain surface 1 SelfConnectedObject) Merge.kif 9677-9677 surface の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain surface 2 SelfConnectedObject) Merge.kif 9678-9678 surface の数値 2 引数は 自己接続オブジェクト の instance では %n
(domain top 1 SelfConnectedObject) Merge.kif 9724-9724 top の数値 1 引数は 自己接続オブジェクト の instance では %n
(domain top 2 SelfConnectedObject) Merge.kif 9725-9725 top の数値 2 引数は 自己接続オブジェクト の instance では %n
(domain weight 1 SelfConnectedObject) Merge.kif 7284-7284 weight の数値 1 引数は 自己接続オブジェクト の instance では %n
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 1656-1656 ingredientAmount の数値 1 引数は 自己接続オブジェクト のsubclass では %n
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 1657-1657 ingredientAmount の数値 2 引数は 自己接続オブジェクト のsubclass では %n
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2605-2605 trafficableForTrafficType の数値 2 引数は 自己接続オブジェクト のsubclass では %n
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3036-3036 transitwayCapacityCount の数値 2 引数は 自己接続オブジェクト のsubclass では %n
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3046-3046 transitwayCapacityRate の数値 2 引数は 自己接続オブジェクト のsubclass では %n

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


(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))		 Merge.kif 9515-9519
(=>
    (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 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 9521-9525
(=>
    (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 12475-12480
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))		 Mid-level-ontology.kif 14477-14483
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))		 Merge.kif 12491-12496


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 3.0 is open source software produced by Articulate Software and its partners