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 857-858
(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 855-855 自己接続オブジェクトオブジェクトsubclass では

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


(disjoint Collection SelfConnectedObject) Merge.kif 1272-1272 コレクション自己接続オブジェクトdisjoint では
(range BackFn SelfConnectedObject) Merge.kif 892-892 BackFnrange自己接続オブジェクト のインスタンス では
(range FrontFn SelfConnectedObject) Merge.kif 872-872 FrontFnrange自己接続オブジェクト のインスタンス では
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 15012-15012 FoodForFn が返す値は 自己接続オブジェクトsubclasses では
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4732-4732 BodyOfWater自己接続オブジェクトsubclass では
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1236-1236 微粒子オブジェクト自己接続オブジェクトsubclass では
(subclass Food SelfConnectedObject) Merge.kif 15027-15027 Food自己接続オブジェクトsubclass では
(subclass Iceberg SelfConnectedObject) Geography.kif 4963-4963 Iceberg自己接続オブジェクトsubclass では
(subclass OrganicThing SelfConnectedObject) Merge.kif 860-860 OrganicThing自己接続オブジェクトsubclass では
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2824-2824 Ramp自己接続オブジェクトsubclass では
(subclass Substance SelfConnectedObject) Merge.kif 1051-1051 物質自己接続オブジェクトsubclass では
(subclass Transitway SelfConnectedObject) Merge.kif 14419-14419 Transitway自己接続オブジェクトsubclass では
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816 Transitway自己接続オブジェクトsubclass では
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834 Transitway自己接続オブジェクトsubclass では
(termFormat FrenchLanguage SelfConnectedObject "objet en une partie") french_format.kif 492-492 Transitway自己接続オブジェクトsubclass では
(termFormat Hindi SelfConnectedObject "aatmasambaddha vastu") terms-hindi.txt 25-25 Transitway自己接続オブジェクトsubclass では
(termFormat ItalianLanguage SelfConnectedObject "OggettoIntegro") terms-it.txt 28-28 Transitway自己接続オブジェクトsubclass では
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") japanese_format.kif 2177-2177 Transitway自己接続オブジェクトsubclass では
(termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado") portuguese_format.kif 444-444 Transitway自己接続オブジェクトsubclass では
(termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol") terms-cb.txt 29-29 Transitway自己接続オブジェクトsubclass では
(termFormat cz SelfConnectedObject "self connected object") terms-cz.txt 59-59 Transitway自己接続オブジェクトsubclass では
(termFormat de SelfConnectedObject "selbstverbundener Gegenstand") terms-de.txt 318-318 Transitway自己接続オブジェクトsubclass では
(termFormat ro SelfConnectedObject "obiect indivizibil") relations-ro.kif 513-513 Transitway自己接続オブジェクトsubclass では
(termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili") terms-tg.txt 29-29 Transitway自己接続オブジェクトsubclass では

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 891-891 BackFn の数値 1 引数は 自己接続オブジェクトinstance では
(domain FrontFn 1 SelfConnectedObject) Merge.kif 871-871 FrontFn の数値 1 引数は 自己接続オブジェクトinstance では
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 19512-19512 approximateDiameter の数値 1 引数は 自己接続オブジェクトinstance では
(domain bottom 1 SelfConnectedObject) Merge.kif 9847-9847 bottom の数値 1 引数は 自己接続オブジェクトinstance では
(domain bottom 2 SelfConnectedObject) Merge.kif 9848-9848 bottom の数値 2 引数は 自己接続オブジェクトinstance では
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 7618-7618 capacity の数値 1 引数は 自己接続オブジェクトinstance では
(domain contains 1 SelfConnectedObject) Merge.kif 1029-1029 contains の数値 1 引数は 自己接続オブジェクトinstance では
(domain height 1 SelfConnectedObject) Merge.kif 7598-7598 height の数値 1 引数は 自己接続オブジェクトinstance では
(domain hole 2 SelfConnectedObject) Merge.kif 1005-1005 hole の数値 2 引数は 自己接続オブジェクトinstance では
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 24340-24340 memberAtTime の数値 1 引数は 自己接続オブジェクトinstance では
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 18952-18952 onboard の数値 1 引数は 自己接続オブジェクトinstance では
(domain side 1 SelfConnectedObject) Merge.kif 9877-9877 side の数値 1 引数は 自己接続オブジェクトinstance では
(domain side 2 SelfConnectedObject) Merge.kif 9878-9878 side の数値 2 引数は 自己接続オブジェクトinstance では
(domain surface 1 SelfConnectedObject) Merge.kif 9813-9813 surface の数値 1 引数は 自己接続オブジェクトinstance では
(domain surface 2 SelfConnectedObject) Merge.kif 9814-9814 surface の数値 2 引数は 自己接続オブジェクトinstance では
(domain top 1 SelfConnectedObject) Merge.kif 9862-9862 top の数値 1 引数は 自己接続オブジェクトinstance では
(domain top 2 SelfConnectedObject) Merge.kif 9863-9863 top の数値 2 引数は 自己接続オブジェクトinstance では
(domain weight 1 SelfConnectedObject) Merge.kif 7328-7328 weight の数値 1 引数は 自己接続オブジェクトinstance では
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 1662-1662 ingredientAmount の数値 1 引数は 自己接続オブジェクトsubclass では
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 1663-1663 ingredientAmount の数値 2 引数は 自己接続オブジェクトsubclass では
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 3136-3136 trafficableForTrafficType の数値 2 引数は 自己接続オブジェクトsubclass では

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


(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))
Merge.kif 9651-9655
(=>
    (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 1971-1983
(=>
    (and
        (instance ?X PartInspection)
        (patient ?X ?P)
        (instance ?P SelfConnectedObject))
    (exists (?A ?M)
        (and
            (part ?P ?A)
            (instance ?A Artifact)
            (instance ?M Manufacture)
            (result ?M ?A)
            (subProcess ?X ?M))))
Economy.kif 2059-2070
(=>
    (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 904-906
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 884-886

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


(=>
    (and
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2))
        (connected ?PART1 ?PART2))
    (instance ?OBJ SelfConnectedObject))
Merge.kif 9657-9661
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?O Artifact)
        (result ?P ?O))
    (exists (?A ?X ?B ?Y)
        (and
            (instance ?A Making)
            (subProcess ?A ?P)
            (instance ?X SelfConnectedObject)
            (part ?X ?O)
            (result ?A ?X)
            (instance ?B Making)
            (subProcess ?B ?P)
            (instance ?Y SelfConnectedObject)
            (part ?Y ?O)
            (overlapsSpatially ?X ?Y)
            (orientation ?X ?Y Below)
            (during
                (WhenFn ?A)
                (WhenFn ?P))
            (during
                (WhenFn ?B)
                (WhenFn ?P))
            (earlier
                (WhenFn ?A)
                (WhenFn ?B)))))
QoSontology.kif 537-563
(=>
    (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 12629-12634
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 15848-15854
(=>
    (instance ?P ProductAssembly)
    (exists (?O ?Q ?W)
        (and
            (patient ?P ?O)
            (patient ?P ?Q)
            (not
                (equal ?O ?Q))
            (instance ?O SelfConnectedObject)
            (instance ?Q SelfConnectedObject)
            (part ?O ?W)
            (part ?Q ?W)
            (instance ?W Artifact)
            (result ?P ?W))))
Economy.kif 2149-2162
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12645-12650
(=>
    (instance ?X PartInspection)
    (hasPurpose ?X
        (exists (?O ?P)
            (and
                (instance ?O SelfConnectedObject)
                (patient ?X ?O)
                (instance ?P Proposition)
                (refers ?P ?O)
                (modalAttribute
                    (conforms ?O ?P) Necessity)))))
Economy.kif 2072-2082


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