Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
termLength
Sigma KEE - termLength
termLength
appearance as argument number 1
(
instance
termLength
TernaryPredicate
)
Government.kif 1646-1646
term length
is an
instance
of
ternary predicate
(
domain
termLength
1
AutonomousAgent
)
Government.kif 1647-1647
The number 1 argument of
term length
is an
instance
of
agent
(
domain
termLength
2
SocialRole
)
Government.kif 1648-1648
The number 2 argument of
term length
is an
instance
of
social role
(
domain
termLength
3
TimeDuration
)
Government.kif 1649-1649
The number 3 argument of
term length
is an
instance
of
time duration
(
documentation
termLength
EnglishLanguage
"(
termLength
?ORG ?ROLE ?LENGTH) means that in the
Organization
or
GeopoliticalArea
?ORG, the term of office for the position ?ROLE is the
TimeDuration
?LENGTH.")
Government.kif 1651-1653
The number 3 argument of
term length
is an
instance
of
time duration
appearance as argument number 2
(
format
EnglishLanguage
termLength
"%1 is %n term length %2 for %3")
domainEnglishFormat.kif 2453-2453
(
format
ChineseTraditionalLanguage
termLength
"%1 %n 是 對於 %3 的 term 長度 %2 ")
domainEnglishFormat.kif 2454-2454
(
format
ChineseLanguage
termLength
"%1 %n 是 对于 %3 的 term 长度 %2 ")
domainEnglishFormat.kif 2455-2455
(
termFormat
EnglishLanguage
termLength
"term length")
domainEnglishFormat.kif 57557-57557
(
termFormat
ChineseTraditionalLanguage
termLength
"期限長度")
domainEnglishFormat.kif 57558-57558
(
termFormat
ChineseLanguage
termLength
"期限长度")
domainEnglishFormat.kif 57559-57559
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners