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
task
Sigma KEE - task
task
appearance as argument number 1
(
documentation
task
EnglishLanguage
"(
task
?Process ?Task) means that ?Task is a function to be performed by the
ComputerProcess
?Process.")
QoSontology.kif 1954-1955
(
domain
task
1
ComputerProcess
)
QoSontology.kif 1952-1952
域
任務
, 1 and
電腦程序
(
domain
task
2
ProcessTask
)
QoSontology.kif 1953-1953
域
任務
, 2 and
流程任務
(
instance
task
AsymmetricRelation
)
QoSontology.kif 1951-1951
例
任務
and
AsymmetricRelation
(
instance
task
BinaryPredicate
)
QoSontology.kif 1950-1950
例
任務
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
task
"%2 %n 是 %1 的
task
")
domainEnglishFormat.kif 2443-2443
(
format
ChineseTraditionalLanguage
task
"%2 %n 是 %1 的
task
")
domainEnglishFormat.kif 2442-2442
(
format
EnglishLanguage
task
"%2 is %n a
task
of %1")
domainEnglishFormat.kif 2441-2441
(
termFormat
ChineseLanguage
task
"任务")
domainEnglishFormat.kif 56989-56989
(
termFormat
ChineseTraditionalLanguage
task
"任務")
domainEnglishFormat.kif 56988-56988
(
termFormat
EnglishLanguage
task
"task")
domainEnglishFormat.kif 56987-56987
consequent
(=>
(
instance
?Task
ProcessTask
)
(
exists
(?Process)
(
task
?Process ?Task)))
QoSontology.kif 1945-1948
例
流程任務
and
流程任務
電腦程序
流程任務
是
電腦程序
的
task
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