floorCode |
appearance as argument number 1 |
(documentation floorCode EnglishLanguage "(floorCode ?STR ?PLACE) means that ?STR represents the BuildingLevel that a particular PostalPlace can be found at") | Mid-level-ontology.kif 24627-24628 | |
(domain floorCode 1 SymbolicString) | Mid-level-ontology.kif 24629-24629 | floorCode の数値 1 引数は 記号文字列 の instance では %n |
(domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 24630-24630 | floorCode の数値 2 引数は PostalPlace の instance では %n |
(instance floorCode BinaryPredicate) | Mid-level-ontology.kif 24626-24626 | floorCode は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage floorCode "%1 是 %2 的 floor ") | domainEnglishFormat.kif 3462-3462 | |
(format ChineseTraditionalLanguage floorCode "%1 是 %2 的 floor ") | domainEnglishFormat.kif 3461-3461 | |
(format EnglishLanguage floorCode "%1 is the floor of %2") | domainEnglishFormat.kif 3460-3460 | |
(termFormat EnglishLanguage floorCode "floor code") | domainEnglishFormat.kif 65832-65832 |
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 24632-24643 | |
(=> (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 24645-24655 |
|