Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
| ]
KB:
SUMO
Language:
Anisocoria
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
MechanicalAnisocoria
PhysiologicalAnisocoria
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - SecondaryHighway
SecondaryHighway
(secondary highway)
appearance as argument number 1
(
subclass
SecondaryHighway
Roadway
)
Transportation.kif 1798-1798
Secondary highway
is a
subclass
of
roadway
appearance as argument number 2
(
termFormat
EnglishLanguage
SecondaryHighway
"secondary highway")
domainEnglishFormat.kif 51766-51766
(
termFormat
ChineseTraditionalLanguage
SecondaryHighway
"二級公路")
domainEnglishFormat.kif 51767-51767
(
termFormat
ChineseLanguage
SecondaryHighway
"二级公路")
domainEnglishFormat.kif 51768-51768
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 3.0 is
open source software
produced by
Articulate Software
and its partners