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
家
的 1 数量 是
人类
的
instance
(
domain
home
2
PermanentResidence
)
Merge.kif 14387-14387
家
的 2 数量 是
永久居留权
的
instance
(
instance
home
BinaryPredicate
)
Merge.kif 14385-14385
家
是
二元谓语
的
instance
(
subrelation
home
inhabits
)
Merge.kif 14384-14384
家
是
居住
的
subrelation
appearance as argument number 2
(
disjointRelation
stays
home
)
Merge.kif 14393-14393
停留
和
家
是
disjoint
关系
(
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
如果
永久居留权
是
公寓单位
的
instance
和
人类
的
home
是
那个 永久居留权
,
然后
那个 人类
doesn't
possesses
那个 永久居留权
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
如果
永久居留权
是
单身家庭住所
的
instance
和
人类
的
home
是
那个 永久居留权
和
那个 人类
possesses
那个 永久居留权
和
那个 永久居留权
不 是
建筑物
的
instance
,
然后
那个 永久居留权
是
共管公寓单位
的
instance
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
如果
过程
是
搬家
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实体
和
另一个 实体
这样
那个 施事体
的
home
是
那个 实体
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 施事体
的
home
是
那个 另外 实体
在
那个 过程
出现 的
time
的结束
holdsDuring
和
那个 实体
不
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
如果
实体
有
number
另一个 实体
和
那个 另外 实体
是
第三 实体
的
home
phone
和
那个 实体
是
located
在
第四 实体
和
那个 第四 实体
是
永久居留权
的
instance
在
时间位置
holdsDuring
,
然后
那个 第三 实体
的
home
是
那个 第四 实体
在
那个 时间位置
holdsDuring
(=>
(
instance
?DS
DaySchool
)
(
not
(
exists
(?S)
(
and
(
student
?S ?DS)
(
home
?S ?DS)))))
Mid-level-ontology.kif 16783-16789
如果
教育机构
是
日间学校
的
instance
,
然后 不存在
人类
这样
那个 人类
是
那个 教育机构
的
student
和
那个 人类
的
home
是
那个 教育机构
(=>
(
instance
?RESIDENCE
ExecutiveResidence
)
(
exists
(?AREA ?POSITION ?PERSON)
(
and
(
located
?RESIDENCE ?AREA)
(
home
?PERSON ?RESIDENCE)
(
chiefOfState
?AREA ?POSITION ?PERSON))))
Government.kif 1542-1548
如果
永久居留权
是
行政住所
的
instance
,
然后 有存在
地缘政治区域
,
地位
, and 和
人类
这样
那个 永久居留权
是
located
在
那个 地缘政治区域
和
那个 人类
的
home
是
那个 永久居留权
和
那个 地缘政治区域
州
那个 地位
的
chief
对于
那个 人类
(=>
(
instance
?RESIDENCE
PermanentResidence
)
(
exists
(?PERSON)
(
home
?PERSON ?RESIDENCE)))
Merge.kif 15794-15797
如果
永久居留权
是
永久居留权
的
instance
,
然后 有存在
人类
这样
那个 人类
的
home
是
那个 永久居留权
(=>
(
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
如果
物理
是
单身家庭住所
的
instance
,
然后
那个 物理
的 目的 是 对所有
实体
和
另一个 实体
如果
那个 实体
的
home
是
那个 物理
和
那个 另外 实体
的
home
是
那个 物理
,
然后 有存在
第三 实体
这样
那个 第三 实体
是
社会单位
的
instance
和
那个 实体
是
那个 第三 实体
的
member
和
那个 另外 实体
是
那个 第三 实体
的
member
(=>
(
instance
?UNIT
SocialUnit
)
(
exists
(?HOME ?MEMBER)
(=>
(
member
?MEMBER ?UNIT)
(
home
?MEMBER ?HOME))))
Merge.kif 16276-16281
如果
群体
是
社会单位
的
instance
,
然后 有存在
永久居留权
和
人类
这样
如果
那个 人类
是
那个 群体
的
member
,
然后
那个 人类
的
home
是
那个 永久居留权
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
如果
人类
是
永久居留权
的
resident
的
member
,
然后
那个 人类
的
home
是
那个 永久居留权
(=>
(
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
,
然后 有存在
永久居留权
和
另一个 永久居留权
这样
那个 另外 人类
的
home
是
那个 永久居留权
和
那个 人类
的
home
是
那个 另外 永久居留权
和
那个 永久居留权
不
equal
那个 另外 永久居留权
和
那个 永久居留权
在
那个 另外 永久居留权
的
近
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