Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Brewpub

 Sigma KEE - TravelContainer
TravelContainer(travel container)bag, baggage, briefcase, grip, luggage, suitcase, traveling_bag, travelling_bag, valise

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


(subclass TravelContainer Container) Mid-level-ontology.kif 5270-5270 Travel container is a subclass of container
(documentation TravelContainer EnglishLanguage "Any Container which is intended to be used for carrying clothing, toiletries, and other personal effects that would be needed on a overnight trip.") Mid-level-ontology.kif 5271-5273 Travel container is a subclass of container

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


(termFormat EnglishLanguage TravelContainer "travel container") domainEnglishFormat.kif 59035-59035
(termFormat ChineseTraditionalLanguage TravelContainer "旅行集裝箱") domainEnglishFormat.kif 59036-59036
(termFormat ChineseLanguage TravelContainer "旅行集装箱") domainEnglishFormat.kif 59037-59037

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


(=>
    (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 2410-2425 If All of the following hold: (1) X is a customer of Y (2) X employs Z (3) traveler accommodation is an attribute of X (4) porter is an attribute of Z (5) Y possesses W (6) W is an instance of travel container, then there exist V, U such that V is an instance of hotel unit, U is an instance of carrying, Z is an agent of U, and U ends up at V or U originates at V

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


(=>
    (attribute ?X Porter)
    (hasPurpose ?X
        (exists (?LUGGAGE ?CARRY)
            (and
                (instance ?LUGGAGE TravelContainer)
                (instance ?CARRY Carrying)
                (agent ?CARRY ?X)))))		 Hotel.kif 2401-2408 If porter is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of travel container, Z is an instance of carrying, and X is an agent of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners