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
Die Zahl 1 Argument von
faxNumber
ist ein
fall
von
TelecomNumber
%n{nicht}
(
domain
faxNumber
2
AutonomousAgent
)
Mid-level-ontology.kif 25153-25153
Die Zahl 2 Argument von
faxNumber
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
faxNumber
AsymmetricRelation
)
Mid-level-ontology.kif 25151-25151
faxNumber
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
faxNumber
BinaryPredicate
)
Mid-level-ontology.kif 25150-25150
faxNumber
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
deviceTelecomNumber
entity
and
** Entity
und
faxNumber
** entity
and
** entity
haelt
waehrend
TimePosition
%n{nicht},
dann
** ** Entity
ist ein
fall
von
FaxMachine
%n{nicht}
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
Wenn
Entity
ist ein
fall
von
FaxMachine
%n{nicht} und
deviceTelecomNumber
** entity
and
** Entity
und
** entity
besitzt
** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
faxNumber
** ** entity
and
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
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