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
域
電腦回應給
, 1 and
電腦回應
(
domain
computerResponseTo
2
UserRequest
)
QoSontology.kif 1747-1747
域
電腦回應給
, 2 and
用戶請求
(
instance
computerResponseTo
BinaryPredicate
)
QoSontology.kif 1745-1745
例
電腦回應給
and
BinaryPredicate
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
TimeDuration
是
用戶請求
response
時間
用戶請求
是
電腦回應
的
computer
答覆
持續時間
何時
電腦回應
and
TimeDuration
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