Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| numberSeniorOccupant |
| appearance as argument number 1 |
|
| (subrelation numberSeniorOccupant numberOccupant) | Hotel.kif 2934-2934 | number of senior occupants is a subrelation of number of occupants |
| (instance numberSeniorOccupant BinaryPredicate) | Hotel.kif 2935-2935 | number of senior occupants is an instance of binary predicate |
| (documentation numberSeniorOccupant EnglishLanguage "(numberSeniorOccupant ?RESERVE ?NUM) means that the HotelReservation ?RESERVE indicates Integer ?NUM of HumanAdult that has age greaterThanOrEqualTo 60") | Hotel.kif 2936-2938 | number of senior occupants is an instance of binary predicate |
| (domain numberSeniorOccupant 1 HotelReservation) | Hotel.kif 2940-2940 | The number 1 argument of number of senior occupants is an instance of hotel reservation |
| (domain numberSeniorOccupant 2 Integer) | Hotel.kif 2941-2941 | The number 2 argument of number of senior occupants is an instance of integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage numberSeniorOccupant "number of senior occupants") | Hotel.kif 2939-2939 | |
| (format EnglishLanguage numberSeniorOccupant "%1 is for %2 seniors") | domainEnglishFormat.kif 4004-4004 | |
| (format ChineseTraditionalLanguage numberSeniorOccupant "%1 是對於 %2 seniors ") | domainEnglishFormat.kif 4005-4005 | |
| (format ChineseLanguage numberSeniorOccupant "%1 是对于 %2 seniors ") | domainEnglishFormat.kif 4006-4006 |
| antecedent |
|
|
| (=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?AGE) (and (instance ?COL GroupOfPeople) (forall (?X) (=> (member ?X ?COL) (and (instance ?X HumanAdult) (age ?X (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE 60)))) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2943-2958 | If X is for Y seniors and Z fulfills X, then there exist W and V such that W is an instance of group of people and U U is a member of WU is an instance of human adult and the age of U is V year duration(s) and V is greater than or equal to 60 and Y is a member count of W and W is a potential customer for Z |
|