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 数量 是
电脑程序
的
instance
(
domain
task
2
ProcessTask
)
QoSontology.kif 1953-1953
任务
的 2 数量 是
流程任务
的
instance
(
instance
task
AsymmetricRelation
)
QoSontology.kif 1951-1951
任务
是
非对称关系
的
instance
(
instance
task
BinaryPredicate
)
QoSontology.kif 1950-1950
任务
是
二元谓语
的
instance
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
如果
流程任务
是
流程任务
的
instance
,
然后 有存在
电脑程序
这样
那个 流程任务
是
那个 电脑程序
的
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