numberOfFloors |
appearance as argument number 1 |
(documentation numberOfFloors EnglishLanguage "(numberOfFloors ?BLDG ?NUM) means that Building ?BLDG has Integer ?NUM number of BuildingLevel") | Hotel.kif 698-699 | |
(domain numberOfFloors 1 Building) | Hotel.kif 702-702 | The number 1 argument of number of floors is an instance of building |
(domain numberOfFloors 2 Integer) | Hotel.kif 703-703 | The number 2 argument of number of floors is an instance of integer |
(instance numberOfFloors BinaryPredicate) | Hotel.kif 697-697 | number of floors is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage numberOfFloors "%1 有 %2 floors ") | domainEnglishFormat.kif 3998-3998 | |
(format ChineseTraditionalLanguage numberOfFloors "%1 有 %2 floors ") | domainEnglishFormat.kif 3997-3997 | |
(format EnglishLanguage numberOfFloors "%1 has %2 floors") | domainEnglishFormat.kif 3996-3996 | |
(termFormat EnglishLanguage numberOfFloors "number of floors") | Hotel.kif 700-700 |
antecedent |
(=> (numberOfFloors ?BLDG ?NUM) (exists (?FLOORS) (and (forall (?X) (=> (and (instance ?X BuildingLevel) (part ?X ?BLDG)) (member ?X ?FLOORS))) (memberCount ?FLOORS ?NUM)))) |
Hotel.kif 705-715 |
|