ExecutiveLevel - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ExecutiveLevel EnglishLanguage "ExecutiveLevel refers to a BuildingLevel in a HotelBuilding with HotelRooms that have been designed to accommodate the needs of the BusinessExecutive")	Hotel.kif 1219-1221
(instance ExecutiveLevel HotelLevelAttribute)	Hotel.kif 1218-1218	Executive level is an instance of hotel level attribute

appearance as argument number 2

(termFormat EnglishLanguage ExecutiveLevel "executive level")

Hotel.kif 1222-1222

antecedent

(=>
    (attribute ?X ExecutiveLevel)
    (forall (?Y)
        (=>
            (and
                (instance ?Y HotelRoom)
                (located ?Y ?X))
            (hasPurpose ?Y
                (exists (?HUMAN)
                    (and
                        (attribute ?HUMAN BusinessExecutive)
                        (instance ?HUMAN Human)
                        (stays ?HUMAN ?Y)))))))

Hotel.kif 1224-1236

If executive level is an attribute of an object,
then for all a physical
- if the physical is an instance of hotel room and the physical is located at the object,
- then the physical has the purpose there exists an entity such that business executive is an attribute of the entity and the entity is an instance of human and the entity stays at the physical

consequent

(=>
    (instance ?SVC ExecutiveService)
    (exists (?HUMAN ?LEVEL ?ROOM)
        (and
            (serviceRecipient ?SVC ?HUMAN)
            (stays ?HUMAN ?ROOM)
            (located ?ROOM ?LEVEL)
            (attribute ?LEVEL ExecutiveLevel))))

Hotel.kif 2245-2252

If a service is an instance of executive service,
then there exist a human, an object and a temporary residence such that the human receives a service during the service and the human stays at the temporary residence and the temporary residence is located at the object and executive level is an attribute of the object

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

KB Term:			Term intersection

English Word: