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
では %n
(
domain
faxNumber
2
AutonomousAgent
)
Mid-level-ontology.kif 25153-25153
faxNumber
の数値 2 引数は
AutonomousAgent
の
instance
では %n
(
instance
faxNumber
AsymmetricRelation
)
Mid-level-ontology.kif 25151-25151
faxNumber
は
非対称関係
の
instance
では %n
(
instance
faxNumber
BinaryPredicate
)
Mid-level-ontology.kif 25150-25150
faxNumber
は
2進述語
の
instance
では %n
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
deviceTelecomNumber
エンティティー
and
エンティティー
faxNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
エンティティー
は
FaxMachine
の
instance
では %n
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
エンティティー
は
FaxMachine
の
instance
では %n
deviceTelecomNumber
エンティティー
and
エンティティー
エンティティー
は
エンティティー
を
possess
es %n{ない} は
時間位置
の
during
holds %n{ない}
faxNumber
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
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