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
O argumento numero 1 de
activityCapability
e' uma
instancia
de
AutonomousAgent
(
domainSubclass
activityCapability
2
Process
)
Hotel.kif 597-597
O argumento numero 2 de
activityCapability
e' uma
sub
-classe de
Processo
(
instance
activityCapability
BinaryPredicate
)
Hotel.kif 591-591
activityCapability
e' uma
instancia
de
Predicado Binario
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
Processo
Objeto
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e'
capaz
de fazer
Processo
no role
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