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
exactlyLocated
Sigma KEE - exactlyLocated
exactlyLocated
appearance as argument number 1
(
documentation
exactlyLocated
ChineseLanguage
"这是一个物体的实际和最简约的位置,这是更加概括的
Predicate
located
的子关系。")
chinese_format.kif 2117-2118
(
documentation
exactlyLocated
EnglishLanguage
"The actual, minimal location of an Object. This is a subrelation of the more general
Predicate
located
.")
Merge.kif 4138-4140
(
documentation
exactlyLocated
JapaneseLanguage
"オブジェクトの実際の最小位置。これは、より 一般的な
Predicate
located
のサブリレーションである。")
japanese_format.kif 770-771
(
instance
exactlyLocated
BinaryPredicate
)
Merge.kif 4136-4136
(
subrelation
exactlyLocated
located
)
Merge.kif 4135-4135
appearance as argument number 2
(
format
ChineseLanguage
exactlyLocated
"%1 %n 是
exactlyLocated
在 %2")
chinese_format.kif 101-101
(
format
EnglishLanguage
exactlyLocated
"%1 is %n exactly located in %2")
english_format.kif 101-101
(
format
FrenchLanguage
exactlyLocated
"%1 est %n exactement situ� dans %2")
french_format.kif 73-73
(
format
ItalianLanguage
exactlyLocated
"%1 è %n esattamente localizzato in %2")
relations-it.txt 100-100
(
format
JapaneseLanguage
exactlyLocated
"%1 は exactly %2 に 位置して %n")
japanese_format.kif 1899-1899
(
format
PortugueseLanguage
exactlyLocated
"%1 e' %n situado exatamente dentro de %2")
portuguese_format.kif 25-25
(
format
cz
exactlyLocated
"%1 %p{je} %n{nen�} p�esn� um�st�n v %2")
relations-cz.txt 130-130
(
format
de
exactlyLocated
"%1 liegtGenau in %2 %n{nicht}")
relations-de.txt 115-115
(
format
hi
exactlyLocated
"%1 Thiika %2 men sthita %n hai")
relations-hindi.txt 140-140
(
format
ro
exactlyLocated
"%1 %n{nu} este poziþionat exactly%t{precis} în %2")
relations-ro.kif 92-92
(
format
sv
exactlyLocated
"%1 är %n{inte} lokaliserad exakt vid %2")
relations-sv.txt 72-72
(
format
tg
exactlyLocated
"%1 %n ay sa %2")
relations-tg.txt 212-212
(
termFormat
ChineseLanguage
exactlyLocated
"完全定位")
domainEnglishFormat.kif 22648-22648
(
termFormat
ChineseLanguage
exactlyLocated
"恰好位于")
chinese_format.kif 102-102
(
termFormat
ChineseTraditionalLanguage
exactlyLocated
"完全定位")
domainEnglishFormat.kif 22647-22647
(
termFormat
EnglishLanguage
exactlyLocated
"exactly located")
domainEnglishFormat.kif 22646-22646
(
termFormat
de
exactlyLocated
"liegtGenau")
terms-de.txt 33-33
(
termFormat
tg
exactlyLocated
"sa")
relations-tg.txt 213-213
antecedent
(=>
(
exactlyLocated
?OBJ ?REGION)
(
not
(
exists
(?OTHEROBJ)
(
and
(
exactlyLocated
?OTHEROBJ ?REGION)
(
not
(
equal
?OTHEROBJ ?OBJ))))))
Merge.kif 4142-4149
(=>
(
holdsDuring
?TIME
(
exactlyLocated
?THING ?REGION))
(
equal
(
WhereFn
?THING ?TIME) ?REGION))
Merge.kif 4238-4242
consequent
(=>
(
equal
(
WhereFn
?THING ?TIME) ?REGION)
(
holdsDuring
?TIME
(
exactlyLocated
?THING ?REGION)))
Merge.kif 4232-4236
(=>
(
exactlyLocated
?OBJ ?REGION)
(
not
(
exists
(?OTHEROBJ)
(
and
(
exactlyLocated
?OTHEROBJ ?REGION)
(
not
(
equal
?OTHEROBJ ?OBJ))))))
Merge.kif 4142-4149
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