ExclusiveFemaleLevel - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage ExclusiveFemaleLevel "female level")

Hotel.kif 1241-1241

antecedent

(=>
    (attribute ?X ExclusiveFemaleLevel)
    (forall (?Y)
        (=>
            (and
                (instance ?Y HotelRoom)
                (located ?Y ?X))
            (hasPurpose ?Y
                (exists (?HUMAN)
                    (and
                        (attribute ?HUMAN Female)
                        (stays ?HUMAN ?Y)))))))

Hotel.kif 1243-1254

If female 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 female is an attribute of the entity and the entity stays at the physical

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

(documentation ExclusiveFemaleLevel EnglishLanguage "ExclusiveFemaleLevel refers to a BuildingLevel in a HotelBuilding that hasPurpose to house Female guest")	Hotel.kif 1239-1240
(instance ExclusiveFemaleLevel HotelLevelAttribute)	Hotel.kif 1238-1238	Female level is an instance of hotel level attribute

KB Term:			Term intersection

English Word: