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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Carrying

Sigma KEE - Carrying
Carrying(carrying)
bear, carry, empty-handed, lift, pack, take

VerbNet: bring-11.3|take, put_direction-9.4|lift, bring-11.3|take, bring-11.3|take,


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 10568-10569
(externalImage Carrying "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 39/ Pigeon_2007-1.jpg/ 180px-Pigeon_2007-1.jpg") pictureList-ImageNet.kif 38-38
(subclass Carrying Transfer) Merge.kif 10566-10566 Carrying is a subclass of transfer

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


(termFormat ChineseLanguage Carrying "携带") domainEnglishFormat.kif 13285-13285
(termFormat ChineseTraditionalLanguage Carrying "攜帶") domainEnglishFormat.kif 13284-13284
(termFormat EnglishLanguage Carrying "carrying") domainEnglishFormat.kif 13283-13283

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


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

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


(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (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 18313-18334
(=>
    (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 2338-2353
(=>
    (attribute ?X Porter)
    (hasPurpose ?X
        (exists (?LUGGAGE ?CARRY)
            (and
                (instance ?LUGGAGE TravelContainer)
                (instance ?CARRY Carrying)
                (agent ?CARRY ?X)))))
Hotel.kif 2329-2336
(=>
    (instance ?AG AnimalGuiding)
    (exists (?A ?C)
        (and
            (instance ?A Animal)
            (agent ?AG ?H)
            (instance ?C Carrying)
            (agent ?C ?A)
            (objectTransferred ?C ?H)
            (instrument ?AG ?A))))
Mid-level-ontology.kif 4819-4828
(=>
    (instance ?FE FireExtinguisher)
    (exists (?PERSON ?CARRY)
        (and
            (instance ?PERSON Human)
            (instance ?CARRY Carrying)
            (patient ?CARRY ?FE)
            (capability ?CARRY instrument ?PERSON))))
Mid-level-ontology.kif 23466-23473
(=>
    (instance ?HT HandTool)
    (capability Carrying objectTransferred ?HT))
Cars.kif 4449-4451
(=>
    (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 27761-27769
(=>
    (instance ?SADDLE Saddle)
    (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 4801-4811


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners