Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
chanceryFAXNumberInArea
Sigma KEE - chanceryFAXNumberInArea
chanceryFAXNumberInArea
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 4732-4734
(
domain
chanceryFAXNumberInArea
1
GeopoliticalArea
)
Government.kif 4728-4728
The number 1 argument of
chanceryFAX number in area
is an
instance
of
geopolitical area
(
domain
chanceryFAXNumberInArea
2
SymbolicString
)
Government.kif 4729-4729
The number 2 argument of
chanceryFAX number in area
is an
instance
of
symbolic string
(
domain
chanceryFAXNumberInArea
3
GeopoliticalArea
)
Government.kif 4730-4730
The number 3 argument of
chanceryFAX number in area
is an
instance
of
geopolitical area
(
instance
chanceryFAXNumberInArea
TernaryPredicate
)
Government.kif 4727-4727
chanceryFAX number in area
is an
instance
of
ternary predicate
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 14100-14100
(
termFormat
ChineseTraditionalLanguage
chanceryFAXNumberInArea
"arearyFAX在區域內的數量")
domainEnglishFormat.kif 14099-14099
(
termFormat
EnglishLanguage
chanceryFAXNumberInArea
"chanceryFAX number in area")
domainEnglishFormat.kif 14098-14098
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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