Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SelfConnectedObject
SelfConnectedObject(objet en une partie)

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 Objet en une partie est une sous-classe de objet

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


(disjoint Collection SelfConnectedObject) Merge.kif 1257-1257 Collection est disjoint de objet en une partie
(range BackFn SelfConnectedObject) Merge.kif 892-892 Le domaine de BackFn est une instance de objet en une partie
(range FrontFn SelfConnectedObject) Merge.kif 872-872 Le domaine de FrontFn est une instance de objet en une partie
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14997-14997 Les valeurs retourn�es par FoodForFn sont des sous-classes de objet en une partie
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4562-4562 BodyOfWater est une sous-classe de objet en une partie
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1221-1221 Objet corpusculaire est une sous-classe de objet en une partie
(subclass Food SelfConnectedObject) Merge.kif 15012-15012 Nourriture est une sous-classe de objet en une partie
(subclass Iceberg SelfConnectedObject) Geography.kif 4793-4793 Iceberg est une sous-classe de objet en une partie
(subclass OrganicThing SelfConnectedObject) Merge.kif 860-860 OrganicThing est une sous-classe de objet en une partie
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2824-2824 Ramp est une sous-classe de objet en une partie
(subclass Substance SelfConnectedObject) Merge.kif 1036-1036 Substance est une sous-classe de objet en une partie
(subclass Transitway SelfConnectedObject) Merge.kif 14404-14404 Transitway est une sous-classe de objet en une partie
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816 Transitway est une sous-classe de objet en une partie
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834 Transitway est une sous-classe de objet en une partie
(termFormat FrenchLanguage SelfConnectedObject "objet en une partie") french_format.kif 492-492 Transitway est une sous-classe de objet en une partie
(termFormat Hindi SelfConnectedObject "aatmasambaddha vastu") terms-hindi.txt 25-25 Transitway est une sous-classe de objet en une partie
(termFormat ItalianLanguage SelfConnectedObject "OggettoIntegro") terms-it.txt 28-28 Transitway est une sous-classe de objet en une partie
(termFormat JapaneseLanguage SelfConnectedObject "自己接続オブジェクト") japanese_format.kif 2177-2177 Transitway est une sous-classe de objet en une partie
(termFormat PortugueseLanguage SelfConnectedObject "Objeto auto-conectado") portuguese_format.kif 444-444 Transitway est une sous-classe de objet en une partie
(termFormat cb SelfConnectedObject "kaugalingong pagsumpay pagtutol") terms-cb.txt 29-29 Transitway est une sous-classe de objet en une partie
(termFormat cz SelfConnectedObject "self connected object") terms-cz.txt 59-59 Transitway est une sous-classe de objet en une partie
(termFormat de SelfConnectedObject "selbstverbundener Gegenstand") terms-de.txt 318-318 Transitway est une sous-classe de objet en une partie
(termFormat ro SelfConnectedObject "obiect indivizibil") relations-ro.kif 513-513 Transitway est une sous-classe de objet en une partie
(termFormat tg SelfConnectedObject "bagay na nakakabit sa sarili") terms-tg.txt 29-29 Transitway est une sous-classe de objet en une partie

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 Le nombre 1 argument de BackFn est une instance de objet en une partie
(domain FrontFn 1 SelfConnectedObject) Merge.kif 871-871 Le nombre 1 argument de FrontFn est une instance de objet en une partie
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 19512-19512 Le nombre 1 argument de approximateDiameter est une instance de objet en une partie
(domain bottom 1 SelfConnectedObject) Merge.kif 9832-9832 Le nombre 1 argument de bottom est une instance de objet en une partie
(domain bottom 2 SelfConnectedObject) Merge.kif 9833-9833 Le nombre 2 argument de bottom est une instance de objet en une partie
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 7618-7618 Le nombre 1 argument de capacity est une instance de objet en une partie
(domain contains 1 SelfConnectedObject) Merge.kif 1014-1014 Le nombre 1 argument de contains est une instance de objet en une partie
(domain height 1 SelfConnectedObject) Merge.kif 7583-7583 Le nombre 1 argument de height est une instance de objet en une partie
(domain hole 2 SelfConnectedObject) Merge.kif 990-990 Le nombre 2 argument de hole est une instance de objet en une partie
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 24342-24342 Le nombre 1 argument de memberAtTime est une instance de objet en une partie
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 18952-18952 Le nombre 1 argument de onboard est une instance de objet en une partie
(domain side 1 SelfConnectedObject) Merge.kif 9862-9862 Le nombre 1 argument de side est une instance de objet en une partie
(domain side 2 SelfConnectedObject) Merge.kif 9863-9863 Le nombre 2 argument de side est une instance de objet en une partie
(domain surface 1 SelfConnectedObject) Merge.kif 9798-9798 Le nombre 1 argument de surface est une instance de objet en une partie
(domain surface 2 SelfConnectedObject) Merge.kif 9799-9799 Le nombre 2 argument de surface est une instance de objet en une partie
(domain top 1 SelfConnectedObject) Merge.kif 9847-9847 Le nombre 1 argument de top est une instance de objet en une partie
(domain top 2 SelfConnectedObject) Merge.kif 9848-9848 Le nombre 2 argument de top est une instance de objet en une partie
(domain weight 1 SelfConnectedObject) Merge.kif 7313-7313 Le nombre 1 argument de weight est une instance de objet en une partie
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 1662-1662 Le nombre 1 argument de ingredientAmount est une sous-classe de objet en une partie
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 1663-1663 Le nombre 2 argument de ingredientAmount est une sous-classe de objet en une partie
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 3136-3136 Le nombre 2 argument de trafficableForTrafficType est une sous-classe de objet en une partie

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