| 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 22465-22466 | |
| (domain floorCode 1 SymbolicString) | Mid-level-ontology.kif 22467-22467 | |
| (domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 22468-22468 | |
| (instance floorCode BinaryPredicate) | Mid-level-ontology.kif 22464-22464 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage floorCode "%1 是 %2 的 floor ") | domainEnglishFormat.kif 3467-3467 | |
| (format ChineseTraditionalLanguage floorCode "%1 是 %2 的 floor ") | domainEnglishFormat.kif 3466-3466 | |
| (format EnglishLanguage floorCode "%1 is the floor of %2") | domainEnglishFormat.kif 3465-3465 |
| 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 22470-22481 | |
| (=> (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 22483-22493 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners