unitNumber |
appearance as argument number 1 |
(documentation unitNumber EnglishLanguage "(unitNumber ?STR ?PLACE) means that ?STR represents the particular unit or space within the building that a PostalPlace is located") | Mid-level-ontology.kif 24619-24621 | |
(domain unitNumber 1 SymbolicString) | Mid-level-ontology.kif 24622-24622 | |
(domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 24623-24623 | |
(instance unitNumber BinaryPredicate) | Mid-level-ontology.kif 24618-24618 |
appearance as argument number 2 |
(format ChineseLanguage unitNumber "%2 的 unit 号码是 %1 ") | domainEnglishFormat.kif 4874-4874 | |
(format ChineseTraditionalLanguage unitNumber "%2 的 unit 號碼是 %1 ") | domainEnglishFormat.kif 4873-4873 | |
(format EnglishLanguage unitNumber "the unit number of %2 is %1") | domainEnglishFormat.kif 4872-4872 | |
(termFormat ChineseLanguage unitNumber "单位号码") | domainEnglishFormat.kif 60440-60440 | |
(termFormat ChineseTraditionalLanguage unitNumber "單位號碼") | domainEnglishFormat.kif 60439-60439 | |
(termFormat EnglishLanguage unitNumber "unit number") | domainEnglishFormat.kif 60438-60438 |
antecedent |
(=> (and (unitNumber ?UNITSTR ?PLACE) (floorCode ?FLRCODE ?PLACE)) (exists (?UNIT ?FLOOR) (and (instance ?FLOOR BuildingLevel) (instance ?UNIT Room) (located ?UNIT ?FLOOR) (part ?FLOOR ?PLACE) (names ?UNITSTR ?UNIT) (names ?FLRCODE ?FLOOR)))) |
Mid-level-ontology.kif 24631-24642 | |
(=> (and (unitNumber ?UNITSTR ?PLACE) (not (exists (?FLR) (floorCode ?FLR ?PLACE)))) (exists (?UNIT) (and (instance ?UNIT Room) (names ?UNITSTR ?UNIT) (located ?UNIT ?PLACE)))) |
Mid-level-ontology.kif 24644-24654 |