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 and
TelecomNumber
(
domain
faxNumber
2
AutonomousAgent
)
Mid-level-ontology.kif 25153-25153
域
faxNumber
, 2 and
AutonomousAgent
(
instance
faxNumber
AsymmetricRelation
)
Mid-level-ontology.kif 25151-25151
例
faxNumber
and
AsymmetricRelation
(
instance
faxNumber
BinaryPredicate
)
Mid-level-ontology.kif 25150-25150
例
faxNumber
and
BinaryPredicate
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
持有期間
TimePosition
and
Entity
有
number
entity
entity
的
fax
number
是
entity
例
Entity
and
傳真機
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
例
Entity
and
傳真機
持有期間
TimePosition
and
Entity
有
number
entity
擁有
entity
and
Entity
持有期間
TimePosition
and
entity
的
fax
number
是
entity
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