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
activityCapability
Sigma KEE - activityCapability
activityCapability
appearance as argument number 1
(
documentation
activityCapability
EnglishLanguage
"(
activityCapability
?AGENT ?ACT) means that
Process
?ACT can be located on the property owned by
AutonomousAgent
?AGENT")
Hotel.kif 592-593
(
domain
activityCapability
1
AutonomousAgent
)
Hotel.kif 596-596
Le nombre 1 argument de
activityCapability
est une
instance
de
AutonomousAgent
(
domainSubclass
activityCapability
2
Process
)
Hotel.kif 597-597
Le nombre 2 argument de
activityCapability
est une
sous
-classe de
processus
(
instance
activityCapability
BinaryPredicate
)
Hotel.kif 591-591
activityCapability
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
activityCapability
"%1 can hold %2 的种类")
domainEnglishFormat.kif 2702-2702
(
format
ChineseTraditionalLanguage
activityCapability
"%1 can hold %2 的種類")
domainEnglishFormat.kif 2701-2701
(
format
EnglishLanguage
activityCapability
"%1 can hold kinds of %2")
domainEnglishFormat.kif 2700-2700
(
termFormat
EnglishLanguage
activityCapability
"activity capability")
Hotel.kif 594-594
antecedent
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
processus
objet
objet
est un
appartenir
�
AutonomousAgent
objet
est
capable
de faire
processus
dans le r�le
located
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