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
faxNumber
Sigma KEE - faxNumber
faxNumber
appearance as argument number 1
(
documentation
faxNumber
EnglishLanguage
"(
faxNumber
?
TelecomNumber
?
AutonomousAgent
) means that ?
TelecomNumber
identifies a
FaxMachine
at which ?
AutonomousAgent
can be contacted.")
Mid-level-ontology.kif 25154-25156
(
domain
faxNumber
1
TelecomNumber
)
Mid-level-ontology.kif 25152-25152
faxNumber
的 1 数量 是
TelecomNumber
的
instance
(
domain
faxNumber
2
AutonomousAgent
)
Mid-level-ontology.kif 25153-25153
faxNumber
的 2 数量 是
施事体
的
instance
(
instance
faxNumber
AsymmetricRelation
)
Mid-level-ontology.kif 25151-25151
faxNumber
是
非对称关系
的
instance
(
instance
faxNumber
BinaryPredicate
)
Mid-level-ontology.kif 25150-25150
faxNumber
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
faxNumber
"%2 的 fax number 是 %1 ")
domainEnglishFormat.kif 3426-3426
(
format
ChineseTraditionalLanguage
faxNumber
"%2 的 fax number 是 %1 ")
domainEnglishFormat.kif 3425-3425
(
format
EnglishLanguage
faxNumber
"the fax number of %2 is %1")
domainEnglishFormat.kif 3424-3424
(
termFormat
EnglishLanguage
faxNumber
"fax number")
domainEnglishFormat.kif 65827-65827
antecedent
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
faxNumber
?NUMBER ?AGENT)))
(
instance
?DEVICE
FaxMachine
))
Mid-level-ontology.kif 25167-25172
如果
实体
有
number
另一个 实体
和
第三 实体
的
fax
number
是
那个 另外 实体
在
时间位置
holdsDuring
,
然后
那个 实体
是
传真机
的
instance
consequent
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25158-25165
如果
实体
是
传真机
的
instance
和
那个 实体
有
number
另一个 实体
和
第三 实体
possesses
那个 实体
在
时间位置
holdsDuring
,
然后
那个 第三 实体
的
fax
number
是
那个 另外 实体
在
那个 时间位置
holdsDuring
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