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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Carrying
Carrying

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


(documentation Carrying ChineseLanguage "这是由 AnimalHuman 从一点 Transfer 到另外 一点的过程。") chinese_format.kif 3029-3030
(documentation Carrying EnglishLanguage "Transfer from one point to another by means of an Animal or Human.") Merge.kif 11368-11369
(documentation Carrying JapaneseLanguage "Animal または Human によってある所から別の所へ Transfer 。") japanese_format.kif 1797-1798
(subclass Carrying Transfer) Merge.kif 11366-11366 Carrying移動subclass では %n

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


(termFormat ChineseLanguage Carrying "携带") domainEnglishFormat.kif 13350-13350
(termFormat ChineseTraditionalLanguage Carrying "攜帶") domainEnglishFormat.kif 13349-13349
(termFormat EnglishLanguage Carrying "carrying") domainEnglishFormat.kif 13348-13348

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


(=>
    (instance ?CARRY Carrying)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (instrument ?CARRY ?ANIMAL))))
Merge.kif 11371-11376

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


(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))
Mid-level-ontology.kif 20601-20623
(=>
    (and
        (customer ?CUST ?AGENT)
        (employs ?AGENT ?X)
        (attribute ?AGENT TravelerAccommodation)
        (attribute ?X Porter)
        (possesses ?CUST ?LUGGAGE)
        (instance ?LUGGAGE TravelContainer))
    (exists (?ROOM ?CARRY)
        (and
            (instance ?ROOM HotelUnit)
            (instance ?CARRY Carrying)
            (agent ?CARRY ?X)
            (or
                (destination ?CARRY ?ROOM)
                (origin ?CARRY ?ROOM)))))
Hotel.kif 2392-2407
(=>
    (attribute ?X Porter)
    (hasPurpose ?X
        (exists (?LUGGAGE ?CARRY)
            (and
                (instance ?LUGGAGE TravelContainer)
                (instance ?CARRY Carrying)
                (agent ?CARRY ?X)))))
Hotel.kif 2383-2390
(=>
    (instance ?AG AnimalGuiding)
    (exists (?A ?C ?H)
        (and
            (instance ?A Animal)
            (agent ?AG ?H)
            (instance ?C Carrying)
            (agent ?C ?A)
            (objectTransferred ?C ?H)
            (instrument ?AG ?A))))
Mid-level-ontology.kif 4345-4354
(=>
    (instance ?FE FireExtinguisher)
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (capability Carrying instrument ?PERSON))))
Mid-level-ontology.kif 25490-25495
(=>
    (instance ?HT HandTool)
    (capability Carrying objectTransferred ?HT))
Cars.kif 4476-4478
(=>
    (instance ?PC PortableComputer)
    (hasPurpose ?PC
        (exists (?T ?H)
            (and
                (instance ?T Carrying)
                (instance ?H Human)
                (patient ?T ?PC)
                (agent ?T ?H)))))
Mid-level-ontology.kif 29534-29542
(=>
    (instance ?SADDLE Saddle)
    (exists (?RIDE)
        (capability
            (KappaFn ?RIDE
                (exists (?HUMAN ?HORSE)
                    (and
                        (instance ?RIDE Carrying)
                        (patient ?RIDE ?HUMAN)
                        (instance ?HUMAN Human)
                        (agent ?RIDE ?HORSE)
                        (instance ?HORSE Horse)))) instrument ?SADDLE)))
Mid-level-ontology.kif 4326-4337


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