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 到另外 一点的过程。") chinese_format.kif 3029-3030
(documentation Carrying EnglishLanguage "Transfer from one point to another by means of an Animal or Human.") Merge.kif 10623-10624
(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 10621-10621

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


(termFormat ChineseLanguage Carrying "携带") domainEnglishFormat.kif 13353-13353
(termFormat ChineseTraditionalLanguage Carrying "攜帶") domainEnglishFormat.kif 13352-13352
(termFormat EnglishLanguage Carrying "carrying") domainEnglishFormat.kif 13351-13351

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


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

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 17007-17028
(=>
    (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 2352-2367
(=>
    (attribute ?X Porter)
    (hasPurpose ?X
        (exists (?LUGGAGE ?CARRY)
            (and
                (instance ?LUGGAGE TravelContainer)
                (instance ?CARRY Carrying)
                (agent ?CARRY ?X)))))
Hotel.kif 2343-2350
(=>
    (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 4215-4224
(=>
    (instance ?FE FireExtinguisher)
    (exists (?PERSON ?CARRY)
        (and
            (instance ?PERSON Human)
            (instance ?CARRY Carrying)
            (patient ?CARRY ?FE)
            (capability ?CARRY instrument ?PERSON))))
Mid-level-ontology.kif 21702-21709
(=>
    (instance ?HT HandTool)
    (capability Carrying objectTransferred ?HT))
Cars.kif 4492-4494
(=>
    (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 25768-25776
(=>
    (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 4197-4207


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 3.0 is open source software produced by Articulate Software and its partners