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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - numberSeniorOccupant

appearance as argument number 1

(documentation numberSeniorOccupant EnglishLanguage "(numberSeniorOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that has age greaterThanOrEqualTo 60") Hotel.kif 2854-2856
(domain numberSeniorOccupant 1 HotelReservation) Hotel.kif 2858-2858
(domain numberSeniorOccupant 2 Integer) Hotel.kif 2859-2859
(instance numberSeniorOccupant BinaryPredicate) Hotel.kif 2853-2853
(subrelation numberSeniorOccupant numberOccupant) Hotel.kif 2852-2852

appearance as argument number 2

(format EnglishLanguage numberSeniorOccupant "%1 is for %2 seniors") domainEnglishFormat.kif 1010-1010
(termFormat EnglishLanguage numberSeniorOccupant "number of senior occupants") Hotel.kif 2857-2857


        (numberSeniorOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL)
            (instance ?COL GroupOfPeople)
            (forall (?X)
                    (member ?X ?COL)
                        (instance ?X HumanAdult)
                        (age ?X
                            (MeasureFn ?AGE YearDuration))
                        (greaterThanOrEqualTo ?AGE 60))))
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2861-2876

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners