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
(
domainSubclass
activityCapability
2
Process
)
Hotel.kif 597-597
(
instance
activityCapability
BinaryPredicate
)
Hotel.kif 591-591
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
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