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
capabilityDuring
Sigma KEE - capabilityDuring
capabilityDuring
appearance as argument number 1
(
documentation
capabilityDuring
EnglishLanguage
"(
capabilityDuring
?PROCESS ?ROLE ?OBJ ?TIMEINT) means that ?OBJ has the ability to play the role of ?ROLE in the process ?PROCESS during the time indicated by ?TIMEINT")
Dining.kif 913-915
(
domain
capabilityDuring
2
CaseRole
)
Dining.kif 918-918
Die Zahl 2 Argument von
capabilityDuring
ist ein
fall
von
CaseRole
%n{nicht}
(
domain
capabilityDuring
3
Object
)
Dining.kif 919-919
Die Zahl 3 Argument von
capabilityDuring
ist ein
fall
von
Object
%n{nicht}
(
domainSubclass
capabilityDuring
1
Process
)
Dining.kif 917-917
Die Zahl 1 Argument von
capabilityDuring
ist eine
teilkategorie
von
Process
%n{nicht}
(
domainSubclass
capabilityDuring
4
TimeInterval
)
Dining.kif 920-920
Die Zahl 4 Argument von
capabilityDuring
ist eine
teilkategorie
von
TimeInterval
%n{nicht}
(
instance
capabilityDuring
QuaternaryPredicate
)
Dining.kif 912-912
capabilityDuring
ist ein
fall
von
QuaternaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
capabilityDuring
"%3 是 capable 当成 %2 在 %1 在期间 %4 ")
domainEnglishFormat.kif 2954-2954
(
format
ChineseTraditionalLanguage
capabilityDuring
"%3 是 capable 當成 %2 在 %1 在期間 %4 ")
domainEnglishFormat.kif 2953-2953
(
format
EnglishLanguage
capabilityDuring
"%3 is capable of being a %2 in %1 during %4")
domainEnglishFormat.kif 2952-2952
(
termFormat
EnglishLanguage
capabilityDuring
"capable during")
Dining.kif 916-916
antecedent
(=>
(
capabilityDuring
?PROCESS ?ROLE ?OBJ ?TIMEINT)
(
exists
(?TIME)
(
and
(
instance
?TIME ?TIMEINT)
(
holdsDuring
?TIME
(
capability
?PROCESS ?ROLE ?OBJ)))))
Dining.kif 922-928
Wenn
capabilityDuring
** Process
,
CaseRole
,
Object
and
** TimeInterval
,
dann es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
** CaseRole
** Process
zu tun haelt
waehrend
** TimePosition
%n{nicht}
consequent
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
Wenn
offersAtTime
AutonomousAgent
,
Catalog
and
TimeInterval
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Object
und
Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** Process
ist eine
teilkategorie
von
Process
und
** Entity
ist ein
fall
von
** ** Entity
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht} und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist eine
teilkategorie
von
TimeInterval
,
dann
capabilityDuring
** ** ** Process
,
agent
,
** AutonomousAgent
and
** ** ** TimeInterval
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
Wenn
offersAtTime
AutonomousAgent
,
Catalog
and
TimeInterval
und
catalogItem
** Entity
and
** Catalog
und
** Entity
ist eine
teilkategorie
von
Process
und
** TimeInterval
ist ein
fall
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist eine
teilkategorie
von
TimeInterval
,
dann
capabilityDuring
** ** Entity
,
agent
,
** AutonomousAgent
and
** ** ** TimeInterval
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