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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SelfConnectedObject

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

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


(disjoint Collection SelfConnectedObject) Merge.kif 1262-1262 Collection est disjoint de objet en une partie
(range BackFn SelfConnectedObject) Merge.kif 899-899 Le domaine de BackFn est une instance de objet en une partie
(range FrontFn SelfConnectedObject) Merge.kif 879-879 Le domaine de FrontFn est une instance de objet en une partie
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14829-14829 Les valeurs retourn�es par FoodForFn sont des sous-classes de objet en une partie
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4470-4470 BodyOfWater est une sous-classe de objet en une partie
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1226-1226 Objet corpusculaire est une sous-classe de objet en une partie
(subclass Food SelfConnectedObject) Merge.kif 14844-14844 Nourriture est une sous-classe de objet en une partie
(subclass Iceberg SelfConnectedObject) Geography.kif 4701-4701 Iceberg est une sous-classe de objet en une partie
(subclass OrganicThing SelfConnectedObject) Merge.kif 867-867 OrganicThing est une sous-classe de objet en une partie
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2333-2333 Ramp est une sous-classe de objet en une partie
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2574-2574 ShipContainer est une sous-classe de objet en une partie
(subclass Substance SelfConnectedObject) Merge.kif 1041-1041 Substance est une sous-classe de objet en une partie
(subclass Transitway SelfConnectedObject) Merge.kif 14236-14236 Transitway est une sous-classe de objet en une partie
(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 Le nombre 1 argument de BackFn est une instance de objet en une partie
(domain FrontFn 1 SelfConnectedObject) Merge.kif 878-878 Le nombre 1 argument de FrontFn est une instance de objet en une partie
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17889-17889 Le nombre 1 argument de approximateDiameter est une instance de objet en une partie
(domain bottom 1 SelfConnectedObject) Merge.kif 9709-9709 Le nombre 1 argument de bottom est une instance de objet en une partie
(domain bottom 2 SelfConnectedObject) Merge.kif 9710-9710 Le nombre 2 argument de bottom est une instance de objet en une partie
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6653-6653 Le nombre 1 argument de capacity est une instance de objet en une partie
(domain contains 1 SelfConnectedObject) Merge.kif 1019-1019 Le nombre 1 argument de contains est une instance de objet en une partie
(domain height 1 SelfConnectedObject) Merge.kif 7550-7550 Le nombre 1 argument de height est une instance de objet en une partie
(domain hole 2 SelfConnectedObject) Merge.kif 995-995 Le nombre 2 argument de hole est une instance de objet en une partie
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22649-22649 Le nombre 1 argument de memberAtTime est une instance de objet en une partie
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 17372-17372 Le nombre 1 argument de onboard est une instance de objet en une partie
(domain side 1 SelfConnectedObject) Merge.kif 9739-9739 Le nombre 1 argument de side est une instance de objet en une partie
(domain side 2 SelfConnectedObject) Merge.kif 9740-9740 Le nombre 2 argument de side est une instance de objet en une partie
(domain surface 1 SelfConnectedObject) Merge.kif 9677-9677 Le nombre 1 argument de surface est une instance de objet en une partie
(domain surface 2 SelfConnectedObject) Merge.kif 9678-9678 Le nombre 2 argument de surface est une instance de objet en une partie
(domain top 1 SelfConnectedObject) Merge.kif 9724-9724 Le nombre 1 argument de top est une instance de objet en une partie
(domain top 2 SelfConnectedObject) Merge.kif 9725-9725 Le nombre 2 argument de top est une instance de objet en une partie
(domain weight 1 SelfConnectedObject) Merge.kif 7284-7284 Le nombre 1 argument de weight est une instance de objet en une partie
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 1651-1651 Le nombre 1 argument de ingredientAmount est une sous-classe de objet en une partie
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 1652-1652 Le nombre 2 argument de ingredientAmount est une sous-classe de objet en une partie
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2605-2605 Le nombre 2 argument de trafficableForTrafficType est une sous-classe de objet en une partie
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3036-3036 Le nombre 2 argument de transitwayCapacityCount est une sous-classe de objet en une partie
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3046-3046 Le nombre 2 argument de transitwayCapacityRate est une sous-classe de objet en une partie

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 4844-4858
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))		 UXExperimentalTerms.kif 4833-4842
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))		 UXExperimentalTerms.kif 4826-4831
(=>
    (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 12445-12450
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))		 Mid-level-ontology.kif 14448-14454
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))		 Merge.kif 12461-12466


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