Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| floorCode |
| appearance as argument number 1 |
|
| (instance floorCode BinaryPredicate) | Mid-level-ontology.kif 26908-26908 | floor code is an instance of binary predicate |
| (documentation floorCode EnglishLanguage "(floorCode ?STR ?PLACE) means that ?STR represents the BuildingLevel that a particular PostalPlace can be found at") | Mid-level-ontology.kif 26909-26910 | floor code is an instance of binary predicate |
| (domain floorCode 1 SymbolicString) | Mid-level-ontology.kif 26911-26911 | The number 1 argument of floor code is an instance of symbolic string |
| (domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 26912-26912 | The number 2 argument of floor code is an instance of postal place |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage floorCode "%1 is the floor of %2") | domainEnglishFormat.kif 3458-3458 | |
| (format ChineseTraditionalLanguage floorCode "%1 是 %2 的 floor ") | domainEnglishFormat.kif 3459-3459 | |
| (format ChineseLanguage floorCode "%1 是 %2 的 floor ") | domainEnglishFormat.kif 3460-3460 | |
| (termFormat EnglishLanguage floorCode "floor code") | domainEnglishFormat.kif 65846-65846 |
| 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 26914-26925 | If the unit number of X is Y and Z is the floor of X, then All of the following hold: (1) there exist W (2) V such that V is an instance of building level (3) W is an instance of room (4) W is located at V (5) V is a part of X (6) W has name Y (7) V has name Z |
| (=> (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 26927-26937 | If the unit number of X is Y and there doesn't exist Z such that Z is the floor of X, then there exists W such that W is an instance of room, W has name Y, and W is located at X |
|