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 24815-24817
(
domain
postStreet
1
PostalPlace
)
Mid-level-ontology.kif 24813-24813
Die Zahl 1 Argument von
postStreet
ist ein
fall
von
PostalPlace
%n{nicht}
(
domain
postStreet
2
Roadway
)
Mid-level-ontology.kif 24814-24814
Die Zahl 2 Argument von
postStreet
ist ein
fall
von
Roadway
%n{nicht}
(
instance
postStreet
AsymmetricRelation
)
Mid-level-ontology.kif 24811-24811
postStreet
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
postStreet
BinaryPredicate
)
Mid-level-ontology.kif 24812-24812
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 65910-65910
antecedent
(=>
(
postStreet
?POSTPLACE ?ROADWAY)
(
orientation
?POSTPLACE ?ROADWAY
Adjacent
))
Mid-level-ontology.kif 24819-24821
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