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
Il numero 1 argomenti di
task
è un
istanza
di
ComputerProcess
(
domain
task
2
ProcessTask
)
QoSontology.kif 1953-1953
Il numero 2 argomenti di
task
è un
istanza
di
ProcessTask
(
instance
task
AsymmetricRelation
)
QoSontology.kif 1951-1951
task
è un'
istanza
di
RelazioneAsimmetrica
(
instance
task
BinaryPredicate
)
QoSontology.kif 1950-1950
task
è un'
istanza
di
PredicatoBinario
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
ProcessTask
è un'
istanza
di
ProcessTask
ComputerProcess
task
ComputerProcess
and
ProcessTask
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