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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


s__documentation(s__Carrying,s__ChineseLanguage,'"这是由 AnimalHuman 从一点 Transfer 到另外 一点的过程。"')

chinese_format.kif 3029-3030
s__documentation(s__Carrying,s__EnglishLanguage,'"Transfer from one point to another by means of an Animal or Human."')

Merge.kif 10841-10842
s__instance(s__Carrying,s__SetOrClass)

s__instance(s__Transfer,s__SetOrClass)

s__subclass(s__Carrying,s__Transfer)

Merge.kif 10839-10839 Carrying is a subclass of transfer

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


s__termFormat(s__ChineseLanguage,s__Carrying,'"携带"')

domainEnglishFormat.kif 13353-13353
s__termFormat(s__ChineseTraditionalLanguage,s__Carrying,'"攜帶"')

domainEnglishFormat.kif 13352-13352
s__termFormat(s__EnglishLanguage,s__Carrying,'"carrying"')

domainEnglishFormat.kif 13351-13351

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


( ! [V__CARRY] :
   ((s__instance(V__CARRY,s__Carrying) =>
       (( ? [V__ANIMAL] :
           ((s__instance(V__ANIMAL,s__Animal) &
               s__instrument(V__CARRY,V__ANIMAL))))))
   )
)

Merge.kif 10844-10849

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19251-19272
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__X,s__CognitiveAgent))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__employs(V__AGENT,V__X)
         &
         s__attribute(V__AGENT,s__TravelerAccommodation) &
         s__attribute(V__X,s__Porter) &
         s__possesses(V__CUST,V__LUGGAGE)
       &
       s__instance(V__LUGGAGE,s__TravelContainer))
     =>
     (( ? [V__ROOM, V__CARRY] :
         ((s__instance(V__ROOM,s__HotelUnit) &
             s__instance(V__CARRY,s__Carrying) &
             s__agent(V__CARRY,V__X)
           &
           (s__destination(V__CARRY,V__ROOM)
           |
           s__origin(V__CARRY,V__ROOM)))))))))
)
)

Hotel.kif 2352-2367
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2343-2350
( ! [V__AG,V__H] :
   ((s__instance(V__H,s__Agent) =>
       ((s__instance(V__AG,s__AnimalGuiding) =>
           (( ? [V__A, V__C] :
               ((s__instance(V__A,s__Animal) &
                   s__agent(V__AG,V__H)
                 &
                 s__instance(V__C,s__Carrying) &
                 s__agent(V__C,V__A)
               &
               s__objectTransferred(V__C,V__H)
             &
             s__instrument(V__AG,V__A))))))))
)
)

Mid-level-ontology.kif 4216-4225
( ! [V__FE] :
   ((s__instance(V__FE,s__FireExtinguisher) =>
       (( ? [V__PERSON, V__CARRY] :
           ((s__instance(V__PERSON,s__Human) &
               s__instance(V__CARRY,s__Carrying) &
               s__patient(V__CARRY,V__FE)
             &
             s__capability(V__CARRY,s__instrument__m,V__PERSON))))))
)
)

Mid-level-ontology.kif 24164-24171
( ! [V__HT] :
   ((s__instance(V__HT,s__HandTool) =>
       (s__capability(s__Carrying,s__objectTransferred__m,V__HT)))
   )
)

Cars.kif 4479-4481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28243-28251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4198-4208


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