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 子類 SelfConnectedObject and Object

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


(disjoint Collection SelfConnectedObject) Merge.kif 1257-1257 不相交的 Collection and SelfConnectedObject
(range BackFn SelfConnectedObject) Merge.kif 892-892 範圍 背部 and SelfConnectedObject
(range FrontFn SelfConnectedObject) Merge.kif 872-872 範圍 面前 and SelfConnectedObject
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14997-14997 範圍子類 FoodForFn and SelfConnectedObject
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4562-4562 子類 水體 and SelfConnectedObject
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1221-1221 子類 CorpuscularObject and SelfConnectedObject
(subclass Food SelfConnectedObject) Merge.kif 15012-15012 子類 Food and SelfConnectedObject
(subclass Iceberg SelfConnectedObject) Geography.kif 4793-4793 子類 冰山 and SelfConnectedObject
(subclass OrganicThing SelfConnectedObject) Merge.kif 860-860 子類 OrganicThing and SelfConnectedObject
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2824-2824 子類 舷梯 and SelfConnectedObject
(subclass Substance SelfConnectedObject) Merge.kif 1036-1036 子類 Substance and SelfConnectedObject
(subclass Transitway SelfConnectedObject) Merge.kif 14404-14404 子類 公交專用道 and SelfConnectedObject
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816 子類 公交專用道 and SelfConnectedObject
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834 子類 公交專用道 and SelfConnectedObject
(termFormat FrenchLanguage SelfConnectedObject "objet en une partie") french_format.kif 492-492 子類 公交專用道 and SelfConnectedObject
(termFormat Hindi SelfConnectedObject "aatmasambaddha vastu") terms-hindi.txt 25-25 子類 公交專用道 and SelfConnectedObject
(termFormat ItalianLanguage SelfConnectedObject "OggettoIntegro") terms-it.txt 28-28 子類 公交專用道 and SelfConnectedObject
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") japanese_format.kif 2177-2177 子類 公交專用道 and SelfConnectedObject
(termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado") portuguese_format.kif 444-444 子類 公交專用道 and SelfConnectedObject
(termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol") terms-cb.txt 29-29 子類 公交專用道 and SelfConnectedObject
(termFormat cz SelfConnectedObject "self connected object") terms-cz.txt 59-59 子類 公交專用道 and SelfConnectedObject
(termFormat de SelfConnectedObject "selbstverbundener Gegenstand") terms-de.txt 318-318 子類 公交專用道 and SelfConnectedObject
(termFormat ro SelfConnectedObject "obiect indivizibil") relations-ro.kif 513-513 子類 公交專用道 and SelfConnectedObject
(termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili") terms-tg.txt 29-29 子類 公交專用道 and SelfConnectedObject

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 域 背部, 1 and SelfConnectedObject
(domain FrontFn 1 SelfConnectedObject) Merge.kif 871-871 域 面前, 1 and SelfConnectedObject
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 19512-19512 域 approximateDiameter, 1 and SelfConnectedObject
(domain bottom 1 SelfConnectedObject) Merge.kif 9832-9832 域 底部, 1 and SelfConnectedObject
(domain bottom 2 SelfConnectedObject) Merge.kif 9833-9833 域 底部, 2 and SelfConnectedObject
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 7618-7618 域 容量, 1 and SelfConnectedObject
(domain contains 1 SelfConnectedObject) Merge.kif 1014-1014 域 包含, 1 and SelfConnectedObject
(domain height 1 SelfConnectedObject) Merge.kif 7583-7583 域 高度, 1 and SelfConnectedObject
(domain hole 2 SelfConnectedObject) Merge.kif 990-990 域 hole, 2 and SelfConnectedObject
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 24342-24342 域 時間上的會員, 1 and SelfConnectedObject
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 18952-18952 域 在船上, 1 and SelfConnectedObject
(domain side 1 SelfConnectedObject) Merge.kif 9862-9862 域 側, 1 and SelfConnectedObject
(domain side 2 SelfConnectedObject) Merge.kif 9863-9863 域 側, 2 and SelfConnectedObject
(domain surface 1 SelfConnectedObject) Merge.kif 9798-9798 域 表面, 1 and SelfConnectedObject
(domain surface 2 SelfConnectedObject) Merge.kif 9799-9799 域 表面, 2 and SelfConnectedObject
(domain top 1 SelfConnectedObject) Merge.kif 9847-9847 域 上, 1 and SelfConnectedObject
(domain top 2 SelfConnectedObject) Merge.kif 9848-9848 域 上, 2 and SelfConnectedObject
(domain weight 1 SelfConnectedObject) Merge.kif 7313-7313 域 重量, 1 and SelfConnectedObject
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 1662-1662 域子類 ingredientAmount, 1 and SelfConnectedObject
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 1663-1663 域子類 ingredientAmount, 2 and SelfConnectedObject
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 3136-3136 域子類 可通行的交通類型, 2 and SelfConnectedObject

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


(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))		 Merge.kif 9636-9640
(=>
    (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 903-905
(=>
    (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 9642-9646
(=>
    (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 12614-12619
(=>
    (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 12630-12635
(=>
    (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