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
home
Sigma KEE - home
home
appearance as argument number 1
(
documentation
home
ChineseLanguage
"这是
Human
和
Human
的
PermanentResidence
之间的关系。")
chinese_format.kif 3375-3376
(
documentation
home
EnglishLanguage
"The relation between a
Human
and a
PermanentResidence
of the
Human
.")
Merge.kif 14388-14389
(
domain
home
1
Human
)
Merge.kif 14386-14386
home
の数値 1 引数は
人[人間]
の
instance
では %n
(
domain
home
2
PermanentResidence
)
Merge.kif 14387-14387
home
の数値 2 引数は
PermanentResidence
の
instance
では %n
(
instance
home
BinaryPredicate
)
Merge.kif 14385-14385
home
は
2進述語
の
instance
では %n
(
subrelation
home
inhabits
)
Merge.kif 14384-14384
home
は
inhabits
の
subrelation
では %n
appearance as argument number 2
(
disjointRelation
stays
home
)
Merge.kif 14393-14393
stays
と
home
は
disjoint
では %n
(
format
ChineseLanguage
home
"%1 的
home
%n 是 %2")
chinese_format.kif 806-806
(
format
EnglishLanguage
home
"the
home
of %1 is %n %2")
english_format.kif 817-817
(
format
FrenchLanguage
home
"le domicile de %1 est %n %2")
french_format.kif 484-484
(
format
JapaneseLanguage
home
"%1 の
home
は %2 では %n")
english_format.kif 818-818
(
format
PortugueseLanguage
home
"a casa de %1 e' %n %2")
portuguese_format.kif 436-436
(
format
ro
home
"
home
{locuinþa} lui %1 %n{nu} este %2")
relations-ro.kif 506-506
(
termFormat
ChineseLanguage
home
"家")
chinese_format.kif 807-807
(
termFormat
ChineseTraditionalLanguage
home
"家")
domainEnglishFormat.kif 28424-28424
(
termFormat
EnglishLanguage
home
"home")
domainEnglishFormat.kif 28423-28423
antecedent
(=>
(
and
(
instance
?UNIT
ApartmentUnit
)
(
home
?PERSON ?UNIT))
(
not
(
possesses
?PERSON ?UNIT)))
Mid-level-ontology.kif 6871-6875
PermanentResidence
は
ApartmentUnit
の
instance
では %n
人[人間]
の
home
は
PermanentResidence
では %n
人[人間]
は
PermanentResidence
を
possess
ない
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
PermanentResidence
は
SingleFamilyResidence
の
instance
では %n
人[人間]
の
home
は
PermanentResidence
では %n
人[人間]
は
PermanentResidence
を
possess
es %n{ない}
PermanentResidence
は
建物
の
instance
では
PermanentResidence
は
CondominiumUnit
の
instance
では %n
consequent
(=>
(
and
(
instance
?MOVE
MovingResidence
)
(
agent
?MOVE ?AGENT))
(
exists
(?HOME1 ?HOME2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
home
?AGENT ?HOME1))
(
holdsDuring
(
EndFn
(
WhenFn
?MOVE))
(
home
?AGENT ?HOME2))
(
not
(
equal
?HOME1 ?HOME2)))))
Mid-level-ontology.kif 18059-18067
工程
は
MovingResidence
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
エンティティー
AutonomousAgent
の
home
は
エンティティー
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
の
home
は
エンティティー
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
homePhoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
PermanentResidence
)))
(
holdsDuring
?TIME
(
home
?AGENT ?PLACE)))
Mid-level-ontology.kif 25026-25033
deviceTelecomNumber
エンティティー
and
エンティティー
homePhoneNumber
エンティティー
and
エンティティー
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
PermanentResidence
の
instance
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
の
home
は
エンティティー
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?DS
DaySchool
)
(
not
(
exists
(?S)
(
and
(
student
?S ?DS)
(
home
?S ?DS)))))
Mid-level-ontology.kif 16783-16789
教育組織
は
DaySchool
の
instance
では %n
人[人間]
student
人[人間]
and
教育組織
人[人間]
の
home
は
教育組織
では %n
(=>
(
instance
?RESIDENCE
ExecutiveResidence
)
(
exists
(?AREA ?POSITION ?PERSON)
(
and
(
located
?RESIDENCE ?AREA)
(
home
?PERSON ?RESIDENCE)
(
chiefOfState
?AREA ?POSITION ?PERSON))))
Government.kif 1542-1548
PermanentResidence
は
ExecutiveResidence
の
instance
では %n
地政学的地域
ポジション
and
人[人間]
PermanentResidence
は
地政学的地域
に
located
して %n
人[人間]
の
home
は
PermanentResidence
では %n
chiefOfState
地政学的地域
,
ポジション
and
人[人間]
(=>
(
instance
?RESIDENCE
PermanentResidence
)
(
exists
(?PERSON)
(
home
?PERSON ?RESIDENCE)))
Merge.kif 15794-15797
PermanentResidence
は
PermanentResidence
の
instance
では %n
人[人間]
人[人間]
の
home
は
PermanentResidence
では %n
(=>
(
instance
?RESIDENCE
SingleFamilyResidence
)
(
hasPurpose
?RESIDENCE
(
forall
(?AGENT1 ?AGENT2)
(=>
(
and
(
home
?AGENT1 ?RESIDENCE)
(
home
?AGENT2 ?RESIDENCE))
(
exists
(?UNIT)
(
and
(
instance
?UNIT
SocialUnit
)
(
member
?AGENT1 ?UNIT)
(
member
?AGENT2 ?UNIT)))))))
Merge.kif 15825-15837
物理
は
SingleFamilyResidence
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
の
home
は
物理
では %n
エンティティー
の
home
は
物理
では %n
エンティティー
エンティティー
は
SocialUnit
の
instance
では %n
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は
エンティティー
の
member
では %n
の 目的 %n{ない}
(=>
(
instance
?UNIT
SocialUnit
)
(
exists
(?HOME ?MEMBER)
(=>
(
member
?MEMBER ?UNIT)
(
home
?MEMBER ?HOME))))
Merge.kif 16276-16281
コレクション
は
SocialUnit
の
instance
では %n
PermanentResidence
人[人間]
人[人間]
は
コレクション
の
member
では %n
人[人間]
の
home
は
PermanentResidence
では %n
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
人[人間]
は
ResidentFn
PermanentResidence
の
member
では %n
人[人間]
の
home
は
PermanentResidence
では %n
(=>
(
neighbor
?PERSON1 ?PERSON2)
(
exists
(?HOME1 ?HOME2)
(
and
(
home
?PERSON1 ?HOME1)
(
home
?PERSON2 ?HOME2)
(
not
(
equal
?HOME1 ?HOME2))
(
orientation
?HOME1 ?HOME2
Near
))))
Mid-level-ontology.kif 6671-6678
neighbor
人[人間]
and
人[人間]
PermanentResidence
PermanentResidence
人[人間]
の
home
は
PermanentResidence
では %n
人[人間]
の
home
は
PermanentResidence
では %n
PermanentResidence
は
PermanentResidence
と
equal
では
PermanentResidence
は
Near
対
PermanentResidence
では %n
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