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
postStreet
Sigma KEE - postStreet
postStreet
appearance as argument number 1
(
documentation
postStreet
EnglishLanguage
"(
postStreet
?
PostalPlace
?
Roadway
) means that ?
PostalPlace
is
Adjacent
to ?
Roadway
.")
Mid-level-ontology.kif 24814-24816
(
domain
postStreet
1
PostalPlace
)
Mid-level-ontology.kif 24812-24812
(
domain
postStreet
2
Roadway
)
Mid-level-ontology.kif 24813-24813
(
instance
postStreet
AsymmetricRelation
)
Mid-level-ontology.kif 24810-24810
(
instance
postStreet
BinaryPredicate
)
Mid-level-ontology.kif 24811-24811
appearance as argument number 2
(
format
ChineseLanguage
postStreet
"%1 是在 %2 之上")
domainEnglishFormat.kif 4178-4178
(
format
ChineseTraditionalLanguage
postStreet
"%1 是在 %2 之上")
domainEnglishFormat.kif 4177-4177
(
format
EnglishLanguage
postStreet
"%1 is on %2")
domainEnglishFormat.kif 4176-4176
(
termFormat
EnglishLanguage
postStreet
"post street")
domainEnglishFormat.kif 65910-65910
antecedent
(=>
(
postStreet
?POSTPLACE ?ROADWAY)
(
orientation
?POSTPLACE ?ROADWAY
Adjacent
))
Mid-level-ontology.kif 24818-24820
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