Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| numberOfFloors |
| appearance as argument number 1 |
|
| (instance numberOfFloors BinaryPredicate) | Hotel.kif 701-701 | number of floors is an instance of binary predicate |
| (documentation numberOfFloors EnglishLanguage "(numberOfFloors ?BLDG ?NUM) means that Building ?BLDG has Integer ?NUM number of BuildingLevel") | Hotel.kif 702-703 | number of floors is an instance of binary predicate |
| (domain numberOfFloors 1 Building) | Hotel.kif 706-706 | The number 1 argument of number of floors is an instance of building |
| (domain numberOfFloors 2 Integer) | Hotel.kif 707-707 | The number 2 argument of number of floors is an instance of integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage numberOfFloors "number of floors") | Hotel.kif 704-704 | |
| (format EnglishLanguage numberOfFloors "%1 has %2 floors") | domainEnglishFormat.kif 3996-3996 | |
| (format ChineseTraditionalLanguage numberOfFloors "%1 有 %2 floors ") | domainEnglishFormat.kif 3997-3997 | |
| (format ChineseLanguage numberOfFloors "%1 有 %2 floors ") | domainEnglishFormat.kif 3998-3998 |
| antecedent |
|
|
| (=> (numberOfFloors ?BLDG ?NUM) (exists (?FLOORS) (and (forall (?X) (=> (and (instance ?X BuildingLevel) (part ?X ?BLDG)) (member ?X ?FLOORS))) (memberCount ?FLOORS ?NUM)))) |
Hotel.kif 709-719 | If X has Y floors, then there exists Z such that W W is an instance of building level, W is a part of XW is a member of Z, and Y is a member count of Z |
|