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 24872-24874
(
domain
postStreet
1
PostalPlace
)
Mid-level-ontology.kif 24870-24870
Die Zahl 1 Argument von
postStreet
ist ein
fall
von
PostalPlace
%n{nicht}
(
domain
postStreet
2
Roadway
)
Mid-level-ontology.kif 24871-24871
Die Zahl 2 Argument von
postStreet
ist ein
fall
von
Roadway
%n{nicht}
(
instance
postStreet
AsymmetricRelation
)
Mid-level-ontology.kif 24868-24868
postStreet
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
postStreet
BinaryPredicate
)
Mid-level-ontology.kif 24869-24869
postStreet
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
postStreet
PostalPlace
and
Roadway
,
dann
** PostalPlace
ist
Adjacent
hinsichlich
** Roadway
%n{nicht}
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