| appearance as argument number 1 |
|
| (documentation chanceryFAXNumberInArea EnglishLanguage "(chanceryFAXNumberInArea ?AREA1 ?FAX ?AREA2) means that the FAX number of the main diplomatic office of the GeopoliticalArea ?AREA1 located in ?AREA2 is ?FAX.") | Government.kif 4699-4701 | |
| (domain chanceryFAXNumberInArea 1 GeopoliticalArea) | Government.kif 4695-4695 | |
| (domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4696-4696 | |
| (domain chanceryFAXNumberInArea 3 GeopoliticalArea) | Government.kif 4697-4697 | |
| (instance chanceryFAXNumberInArea TernaryPredicate) | Government.kif 4694-4694 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage chanceryFAXNumberInArea "%1 %n{不是} 对于 %3 在地区 %2 的 chanceryFAX 号码") | domainEnglishFormat.kif 416-416 | |
| (format ChineseTraditionalLanguage chanceryFAXNumberInArea "%1 %n{不是} 對於 %3 在地區 %2 的 chanceryFAX 號碼") | domainEnglishFormat.kif 415-415 | |
| (format EnglishLanguage chanceryFAXNumberInArea "%1 %n{doesn't} chanceryFAX number in area %2 for %3") | domainEnglishFormat.kif 414-414 | |
| (termFormat ChineseLanguage chanceryFAXNumberInArea "arearyFAX在区域内的数量") | domainEnglishFormat.kif 14035-14035 | |
| (termFormat ChineseTraditionalLanguage chanceryFAXNumberInArea "arearyFAX在區域內的數量") | domainEnglishFormat.kif 14034-14034 | |
| (termFormat EnglishLanguage chanceryFAXNumberInArea "chanceryFAX number in area") | domainEnglishFormat.kif 14033-14033 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners