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
Quart
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 24872-24874
(
domain
postStreet
1
PostalPlace
)
Mid-level-ontology.kif 24870-24870
The number 1 argument of
post street
is an
instance
of
postal place
(
domain
postStreet
2
Roadway
)
Mid-level-ontology.kif 24871-24871
The number 2 argument of
post street
is an
instance
of
roadway
(
instance
postStreet
AsymmetricRelation
)
Mid-level-ontology.kif 24868-24868
post street
is an
instance
of
asymmetric relation
(
instance
postStreet
BinaryPredicate
)
Mid-level-ontology.kif 24869-24869
post street
is an
instance
of
binary predicate
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 65912-65912
antecedent
(=>
(
postStreet
?POSTPLACE ?ROADWAY)
(
orientation
?POSTPLACE ?ROADWAY
Adjacent
))
Mid-level-ontology.kif 24876-24878
If
a postal place
is on
a roadway
,
then
the postal place
is
adjacent
to
the roadway
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