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

KB Term:  Term intersection
English Word: 

Sigma KEE - SelfConnectedObject
SelfConnectedObject

appearance as argument number 1
-------------------------


(subclass SelfConnectedObject Object) Merge.kif 854-854
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") Merge.kif 856-857

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


(subclass OrganicThing SelfConnectedObject) Merge.kif 859-859
(range FrontFn SelfConnectedObject) Merge.kif 871-871
(range BackFn SelfConnectedObject) Merge.kif 891-891
(subclass Substance SelfConnectedObject) Merge.kif 1114-1114
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1299-1299
(disjoint Collection SelfConnectedObject) Merge.kif 1337-1337
(subclass Transitway SelfConnectedObject) Merge.kif 14580-14580
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 15167-15167
(subclass Food SelfConnectedObject) Merge.kif 15182-15182
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2960-2960
(subclass BodyOfWater SelfConnectedObject) Geography.kif 5998-5998
(subclass Iceberg SelfConnectedObject) Geography.kif 6265-6265
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834

appearance as argument number 3
-------------------------


(domain FrontFn 1 SelfConnectedObject) Merge.kif 870-870
(domain BackFn 1 SelfConnectedObject) Merge.kif 890-890
(domain hole 2 SelfConnectedObject) Merge.kif 1003-1003
(domain contains 1 SelfConnectedObject) Merge.kif 1092-1092
(domain weight 1 SelfConnectedObject) Merge.kif 7422-7422
(domain height 1 SelfConnectedObject) Merge.kif 7691-7691
(domain surface 1 SelfConnectedObject) Merge.kif 9902-9902
(domain surface 2 SelfConnectedObject) Merge.kif 9903-9903
(domain bottom 1 SelfConnectedObject) Merge.kif 9936-9936
(domain bottom 2 SelfConnectedObject) Merge.kif 9937-9937
(domain top 1 SelfConnectedObject) Merge.kif 9951-9951
(domain top 2 SelfConnectedObject) Merge.kif 9952-9952
(domain side 1 SelfConnectedObject) Merge.kif 9966-9966
(domain side 2 SelfConnectedObject) Merge.kif 9967-9967
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 7769-7769
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 19240-19240
(domain centerOfMass 1 SelfConnectedObject) Mid-level-ontology.kif 19317-19317
(domain centerOfMass 2 SelfConnectedObject) Mid-level-ontology.kif 19318-19318
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 19875-19875
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 24977-24977
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 1642-1642
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 1643-1643
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 3679-3679

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


(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))		 Merge.kif 883-885
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))		 Merge.kif 903-905
(=>
    (and
        (instance ?OBJ SelfConnectedObject)
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2)))
    (connected ?PART1 ?PART2))		 Merge.kif 9740-9744
(=>
    (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))		 Mid-level-ontology.kif 4181-4193
(=>
    (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 2054-2065
(=>
    (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)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER CollectionOfObjects))		 UXExperimentalTerms.kif 4616-4621
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 CollectionOfObjects)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))		 UXExperimentalTerms.kif 4623-4632
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (instance ?COLL3 CollectionOfObjects)
        (instance ?COLL4 CollectionOfObjects)
        (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 4634-4648

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


(=>
    (and
        (equal ?OBJ
            (MereologicalSumFn ?PART1 ?PART2))
        (connected ?PART1 ?PART2))
    (instance ?OBJ SelfConnectedObject))		 Merge.kif 9746-9750
(=>
    (instance ?COMBINE Combining)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?COMBINE ?OBJ))))		 Merge.kif 12765-12770
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))		 Merge.kif 12781-12786
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))		 Mid-level-ontology.kif 16082-16088
(=>
    (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 336-349
(=>
    (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 356-369
(=>
    (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 2067-2077
(=>
    (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 2144-2157
(=>
    (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 523-549


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners