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
computerResponseTo
Sigma KEE - computerResponseTo
computerResponseTo
appearance as argument number 1
(
documentation
computerResponseTo
EnglishLanguage
"(
computerResponseTo
?Response ?Request) means that ?Response is a
ComputerResponse
to the
UserRequest
?Request.")
QoSontology.kif 1748-1749
(
domain
computerResponseTo
1
ComputerResponse
)
QoSontology.kif 1746-1746
The number 1 argument of
computer response to
is an
instance
of
computer response
(
domain
computerResponseTo
2
UserRequest
)
QoSontology.kif 1747-1747
The number 2 argument of
computer response to
is an
instance
of
user request
(
instance
computerResponseTo
BinaryPredicate
)
QoSontology.kif 1745-1745
computer response to
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
computerResponseTo
"%2 %n 是 %1 的 computer 答覆")
domainEnglishFormat.kif 516-516
(
format
ChineseTraditionalLanguage
computerResponseTo
"%2 %n 是 %1 的 computer 答覆")
domainEnglishFormat.kif 515-515
(
format
EnglishLanguage
computerResponseTo
"%2 is %n a computer response of %1")
domainEnglishFormat.kif 514-514
(
termFormat
ChineseLanguage
computerResponseTo
"电脑回应给")
domainEnglishFormat.kif 16386-16386
(
termFormat
ChineseTraditionalLanguage
computerResponseTo
"電腦回應給")
domainEnglishFormat.kif 16385-16385
(
termFormat
EnglishLanguage
computerResponseTo
"computer response to")
domainEnglishFormat.kif 16384-16384
antecedent
(=>
(
and
(
responseTime
?Request ?Time)
(
computerResponseTo
?Response ?Request))
(
duration
(
WhenFn
?Response) ?Time))
QoSontology.kif 1759-1763
If
a time duration
is a
response
time of
an user request
and
the user request
is a
computer
response of
a computer response
,
then
duration
of the
time
of existence of
the computer response
is
the time duration
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