Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - agentName
agentName
appearance as argument number 1
(
documentation
agentName
EnglishLanguage
"(
agentName
?STRING ?OBJ) means that ?STRING is a full or partial name for the
Agent
?OBJ.")
Media.kif 3393-3395
(
domain
agentName
1
SymbolicString
)
Media.kif 3390-3390
(
domain
agentName
2
Agent
)
Media.kif 3391-3391
(
instance
agentName
AsymmetricRelation
)
Media.kif 3388-3388
(
instance
agentName
BinaryPredicate
)
Media.kif 3387-3387
(
instance
agentName
PartialValuedRelation
)
Media.kif 3389-3389
(
subrelation
agentName
names
)
Media.kif 3392-3392
appearance as argument number 2
(
format
ChineseLanguage
agentName
"%2 的 name 是 %1 ")
domainEnglishFormat.kif 2715-2715
(
format
ChineseTraditionalLanguage
agentName
"%2 的 name 是 %1 ")
domainEnglishFormat.kif 2714-2714
(
format
EnglishLanguage
agentName
"the name of %2 is %1")
domainEnglishFormat.kif 2713-2713
(
subrelation
humanName
agentName
)
Media.kif 3407-3407
(
subrelation
organizationName
agentName
)
Media.kif 3443-3443
consequent
(=>
(
and
(
names
?STRING ?OBJ)
(
instance
?OBJ
Agent
))
(
agentName
?STRING ?OBJ))
Media.kif 3397-3401
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners