| 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 26284-26286 | |
| (domain unitNumber 1 SymbolicString) | Mid-level-ontology.kif 26287-26287 | unitNumber の数値 1 引数は 記号文字列 の instance では %n |
| (domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 26288-26288 | unitNumber の数値 2 引数は PostalPlace の instance では %n |
| (instance unitNumber BinaryPredicate) | Mid-level-ontology.kif 26283-26283 | unitNumber は 2進述語 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage unitNumber "%2 的 unit 号码是 %1 ") | domainEnglishFormat.kif 4880-4880 | |
| (format ChineseTraditionalLanguage unitNumber "%2 的 unit 號碼是 %1 ") | domainEnglishFormat.kif 4879-4879 | |
| (format EnglishLanguage unitNumber "the unit number of %2 is %1") | domainEnglishFormat.kif 4878-4878 | |
| (termFormat ChineseLanguage unitNumber "单位号码") | domainEnglishFormat.kif 60434-60434 | |
| (termFormat ChineseTraditionalLanguage unitNumber "單位號碼") | domainEnglishFormat.kif 60433-60433 | |
| (termFormat EnglishLanguage unitNumber "unit number") | domainEnglishFormat.kif 60432-60432 |
| 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 26296-26307 | |
| (=> (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 26309-26319 |
|
|
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