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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Carrying

Sigma KEE - Carrying
Carrying
حمل, أطاق, أعطى, أنتج, التفت, تحمل, تصور, حاكم, طول, عانى, غضب, قاسى, نشر, واكب, ولد, رفع, أخذ, حمل, استولى, رافق,

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


(documentation Carrying ChineseLanguage "这是由 AnimalHuman 从一点 Transfer 到另外 一点的过程。") Merge.kif 11241-11242
(documentation Carrying EnglishLanguage "Transfer from one point to another by means of an Animal or Human.") Merge.kif 11239-11240
(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 11238-11238

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


(termFormat EnglishLanguage Carrying "carrying") domainEnglishFormat.kif 2648-2648

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


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

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 18201-18222
(=>
    (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 2333-2348
(=>
    (attribute ?X Porter)
    (hasPurpose ?X
        (exists (?LUGGAGE ?CARRY)
            (and
                (instance ?LUGGAGE TravelContainer)
                (instance ?CARRY Carrying)
                (agent ?CARRY ?X)))))
Hotel.kif 2324-2331
(=>
    (canCarry ?ROBOT ?OBJECT)
    (modalAttribute
        (exists (?CARRY)
            (and
                (instance ?CARRY Carrying)
                (instrument ?CARRY ?ROBOT)
                (patient ?CARRY ?OBJECT))) Possibility))
Robot.kif 14-21
(=>
    (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 4818-4827
(=>
    (instance ?FE FireExtinguisher)
    (exists (?PERSON ?CARRY)
        (and
            (instance ?PERSON Human)
            (instance ?CARRY Carrying)
            (patient ?CARRY ?FE)
            (capability ?CARRY instrument ?PERSON))))
Mid-level-ontology.kif 23370-23377
(=>
    (instance ?HT HandTool)
    (capability Carrying objectTransferred ?HT))
Cars.kif 4440-4442
(=>
    (instance ?PC PortableComputer)
    (hasPurpose ?PC
        (exists (?T ?H)
            (and
                (instance ?T Carrying)
                (patient ?T ?PC)
                (agent ?C ?H)))))
Mid-level-ontology.kif 27624-27631
(=>
    (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 4800-4810


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