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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - numberChildOccupant

appearance as argument number 1

(documentation numberChildOccupant EnglishLanguage "(numberChildOccupant ?RESERVE ?NUM) means tht the HotelReservation ?RESERVE indicates Integer ?NUM of HumanChild is included in the reservation") Hotel.kif 2832-2834
(domain numberChildOccupant 1 HotelReservation) Hotel.kif 2836-2836
(domain numberChildOccupant 2 Integer) Hotel.kif 2837-2837
(instance numberChildOccupant BinaryPredicate) Hotel.kif 2831-2831
(subrelation numberChildOccupant numberOccupant) Hotel.kif 2830-2830

appearance as argument number 2

(format EnglishLanguage numberChildOccupant "%1 may have %2 children") domainEnglishFormat.kif 1006-1006
(termFormat EnglishLanguage numberChildOccupant "number of child occupants") Hotel.kif 2835-2835


        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL ?SUBCOL)
            (instance ?COL GroupOfPeople)
            (subCollection ?SUBCOL ?COL)
            (instance ?SUBCOL GroupOfPeople)
            (memberType ?SUBCOL HumanChild)
            (memberCount ?SUBCOL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2839-2850

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