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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - numberChildOccupant
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 2907-2909
(domain numberChildOccupant 1 HotelReservation) Hotel.kif 2911-2911 numberChildOccupant の数値 1 引数は HotelReservationinstance では
(domain numberChildOccupant 2 Integer) Hotel.kif 2912-2912 numberChildOccupant の数値 2 引数は 整数instance では
(instance numberChildOccupant BinaryPredicate) Hotel.kif 2906-2906 numberChildOccupant2進述語instance では
(subrelation numberChildOccupant numberOccupant) Hotel.kif 2905-2905 numberChildOccupantnumberOccupantsubrelation では

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


(format ChineseLanguage numberChildOccupant "%1 也许 have %2 孩童") domainEnglishFormat.kif 3984-3984
(format ChineseTraditionalLanguage numberChildOccupant "%1 也許 have %2 孩童") domainEnglishFormat.kif 3983-3983
(format EnglishLanguage numberChildOccupant "%1 may have %2 children") domainEnglishFormat.kif 3982-3982
(termFormat EnglishLanguage numberChildOccupant "number of child occupants") Hotel.kif 2910-2910

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


(=>
    (and
        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?HOTEL ?RESERVE))
    (exists (?COL ?SUBCOL)
        (and
            (instance ?COL GroupOfPeople)
            (subCollection ?SUBCOL ?COL)
            (instance ?SUBCOL GroupOfPeople)
            (memberType ?SUBCOL HumanChild)
            (memberCount ?SUBCOL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2914-2925


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