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 847-848
(subclass SelfConnectedObject Object) Merge.kif 845-845

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


(disjoint Collection SelfConnectedObject) Merge.kif 1222-1222
(range BackFn SelfConnectedObject) Merge.kif 882-882
(range FrontFn SelfConnectedObject) Merge.kif 862-862
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 14611-14611
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4391-4391
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1186-1186
(subclass Food SelfConnectedObject) Merge.kif 14626-14626
(subclass Iceberg SelfConnectedObject) Geography.kif 4621-4621
(subclass Meat SelfConnectedObject) Merge.kif 14628-14628
(subclass OrganicThing SelfConnectedObject) Merge.kif 850-850
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2324-2324
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2573-2573
(subclass Substance SelfConnectedObject) Merge.kif 1001-1001
(subclass Transitway SelfConnectedObject) Merge.kif 14035-14035
(termFormat ChineseLanguage SelfConnectedObject "自身连接物体") chinese_format.kif 816-816
(termFormat EnglishLanguage SelfConnectedObject "self connected object") english_format.kif 834-834

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


(domain BackFn 1 SelfConnectedObject) Merge.kif 881-881
(domain FrontFn 1 SelfConnectedObject) Merge.kif 861-861
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17412-17412
(domain bottom 1 SelfConnectedObject) Merge.kif 9622-9622
(domain bottom 2 SelfConnectedObject) Merge.kif 9623-9623
(domain capacity 1 SelfConnectedObject) Mid-level-ontology.kif 6379-6379
(domain contains 1 SelfConnectedObject) Merge.kif 979-979
(domain height 1 SelfConnectedObject) Merge.kif 7462-7462
(domain hole 2 SelfConnectedObject) Merge.kif 9768-9768
(domain memberAtTime 1 SelfConnectedObject) Mid-level-ontology.kif 22230-22230
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 16895-16895
(domain side 1 SelfConnectedObject) Merge.kif 9652-9652
(domain side 2 SelfConnectedObject) Merge.kif 9653-9653
(domain surface 1 SelfConnectedObject) Merge.kif 9590-9590
(domain surface 2 SelfConnectedObject) Merge.kif 9591-9591
(domain top 1 SelfConnectedObject) Merge.kif 9637-9637
(domain top 2 SelfConnectedObject) Merge.kif 9638-9638
(domain weight 1 SelfConnectedObject) Merge.kif 7196-7196
(domainSubclass ingredientAmount 1 SelfConnectedObject) Food.kif 50-50
(domainSubclass ingredientAmount 2 SelfConnectedObject) Food.kif 51-51
(domainSubclass trafficableForTrafficType 2 SelfConnectedObject) Transportation.kif 2604-2604
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3035-3035
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3045-3045

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


(<=>
    (instance ?OBJ SelfConnectedObject)
    (forall (?PART1 ?PART2)
        (=>
            (equal ?OBJ
                (MereologicalSumFn ?PART1 ?PART2))
            (connected ?PART1 ?PART2))))
Merge.kif 9424-9429
(=>
    (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 4841-4855
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4830-4839
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4823-4828
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 893-895
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (FrontFn ?OBJ) ?OBJ))
Merge.kif 874-876

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


(=>
    (attribute ?X PartialVacuum)
    (exists (?O ?G)
        (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)
        (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 12252-12257
(=>
    (instance ?LABEL Label)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (connected ?LABEL ?OBJ)
            (refers ?LABEL ?OBJ))))
Mid-level-ontology.kif 13996-14002
(=>
    (instance ?SEPARATE Separating)
    (exists (?OBJ)
        (and
            (instance ?OBJ SelfConnectedObject)
            (patient ?SEPARATE ?OBJ))))
Merge.kif 12268-12273


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