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
speaksLanguage
Sigma KEE - speaksLanguage
speaksLanguage
appearance as argument number 1
(
documentation
speaksLanguage
EnglishLanguage
"(speaksLanguage ?AGENT ?LANGUAGE) means that the
SentientAgent
?AGENT is capable of understanding and/ or generating the
Language
?LANGUAGE.")
Mid-level-ontology.kif 725-727
(
domain
speaksLanguage
1
SentientAgent
)
Mid-level-ontology.kif 729-729
speaksLanguage
の数値 1 引数は
意識[知覚]を持つ代理(人)
の
instance
では %n
(
domain
speaksLanguage
2
Language
)
Mid-level-ontology.kif 730-730
speaksLanguage
の数値 2 引数は
言語
の
instance
では %n
(
instance
speaksLanguage
BinaryPredicate
)
Mid-level-ontology.kif 728-728
speaksLanguage
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
speaksLanguage
"%2 %n 是 %1 的 speaks 语言")
domainEnglishFormat.kif 2327-2327
(
format
ChineseTraditionalLanguage
speaksLanguage
"%2 %n 是 %1 的 speaks 語言")
domainEnglishFormat.kif 2326-2326
(
format
EnglishLanguage
speaksLanguage
"%2 is %n a speaks language of %1")
domainEnglishFormat.kif 2325-2325
(
termFormat
ChineseLanguage
speaksLanguage
"说语言")
domainEnglishFormat.kif 54482-54482
(
termFormat
ChineseTraditionalLanguage
speaksLanguage
"說語言")
domainEnglishFormat.kif 54481-54481
(
termFormat
EnglishLanguage
speaksLanguage
"speaks language")
domainEnglishFormat.kif 54480-54480
consequent
(<=>
(
languagePercentInRegion
?L ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?G1)
(
speaksLanguage
?P ?L)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1566-1577
languagePercentInRegion
言語
,
実数
and
地理的地域
コレクション
コレクション
,
意識[知覚]を持つ代理(人)
,
意識[知覚]を持つ代理(人)
2,
実数
1 and
実数
2
意識[知覚]を持つ代理(人)
は
地理的地域
に
located
して %n
意識[知覚]を持つ代理(人)
は
コレクション
の
member
では %n
speaksLanguage
意識[知覚]を持つ代理(人)
and
言語
memberCount
コレクション
and
実数
1
意識[知覚]を持つ代理(人)
2 は
地理的地域
に
located
して %n
意識[知覚]を持つ代理(人)
2 は
コレクション
の
member
では %n
memberCount
コレクション
and
実数
2
実数
+ 100 は
実数
1 +
実数
2 と
equal
では %n
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