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
O argumento numero 1 de
faxNumber
e' uma
instancia
de
TelecomNumber
(
domain
faxNumber
2
AutonomousAgent
)
Mid-level-ontology.kif 25153-25153
O argumento numero 2 de
faxNumber
e' uma
instancia
de
AutonomousAgent
(
instance
faxNumber
AsymmetricRelation
)
Mid-level-ontology.kif 25151-25151
faxNumber
e' uma
instancia
de
Relacao Assimetrica
(
instance
faxNumber
BinaryPredicate
)
Mid-level-ontology.kif 25150-25150
faxNumber
e' uma
instancia
de
Predicado Binario
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
Entidade
and
Entidade
faxNumber
Entidade
and
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
FaxMachine
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
Entidade
e' uma
instancia
de
FaxMachine
deviceTelecomNumber
Entidade
and
Entidade
Entidade
possui
Entidade
vale
durante
Posicao Temporal
faxNumber
Entidade
and
Entidade
vale
durante
Posicao Temporal
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