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 14434-14435
(
domain
home
1
Human
)
Merge.kif 14432-14432
域
家
, 1 and
Human
(
domain
home
2
PermanentResidence
)
Merge.kif 14433-14433
域
家
, 2 and
永久居留權
(
instance
home
BinaryPredicate
)
Merge.kif 14431-14431
例
家
and
BinaryPredicate
(
subrelation
home
inhabits
)
Merge.kif 14430-14430
子關係
家
and
棲息
appearance as argument number 2
(
disjointRelation
stays
home
)
Merge.kif 14439-14439
不相交的關係
停留
and
家
(
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 6898-6902
例
永久居留權
and
公寓單位
家
Human
and
永久居留權
擁有
Human
and
永久居留權
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6948-6954
例
永久居留權
and
單身家庭住所
家
Human
and
永久居留權
擁有
Human
and
永久居留權
例
永久居留權
and
Building
例
永久居留權
and
共管公寓單位
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 18086-18094
例
Process
and
搬家
agent
Process
and
AutonomousAgent
entity
entity
持有期間
開始
何時
Process
and
家
AutonomousAgent
and
entity
持有期間
結束
何時
Process
and
家
AutonomousAgent
and
entity
等於
entity
and
entity
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
homePhoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
PermanentResidence
)))
(
holdsDuring
?TIME
(
home
?AGENT ?PLACE)))
Mid-level-ontology.kif 25083-25090
持有期間
TimePosition
and
entity
有
number
entity
entity
是
entity
的
home
phone
位於
entity
and
entity
例
entity
and
永久居留權
持有期間
TimePosition
and
家
entity
and
entity
(=>
(
instance
?DS
DaySchool
)
(
not
(
exists
(?S)
(
and
(
student
?S ?DS)
(
home
?S ?DS)))))
Mid-level-ontology.kif 16810-16816
例
EducationalOrganization
and
日間學校
Human
Human
是
EducationalOrganization
的
student
家
Human
and
EducationalOrganization
(=>
(
instance
?RESIDENCE
ExecutiveResidence
)
(
exists
(?AREA ?POSITION ?PERSON)
(
and
(
located
?RESIDENCE ?AREA)
(
home
?PERSON ?RESIDENCE)
(
chiefOfState
?AREA ?POSITION ?PERSON))))
Government.kif 1506-1512
例
永久居留權
and
行政住所
GeopoliticalArea
Position
and
Human
位於
永久居留權
and
GeopoliticalArea
家
Human
and
永久居留權
GeopoliticalArea
州
Position
的
chief
對於
Human
(=>
(
instance
?RESIDENCE
PermanentResidence
)
(
exists
(?PERSON)
(
home
?PERSON ?RESIDENCE)))
Merge.kif 15840-15843
例
永久居留權
and
永久居留權
Human
家
Human
and
永久居留權
(=>
(
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 15871-15883
例
Physical
and
單身家庭住所
有目的
Physical
and
entity
entity
家
entity
and
Physical
家
entity
and
Physical
entity
例
entity
and
社會單位
會員
entity
and
entity
會員
entity
and
entity
(=>
(
instance
?UNIT
SocialUnit
)
(
exists
(?HOME ?MEMBER)
(=>
(
member
?MEMBER ?UNIT)
(
home
?MEMBER ?HOME))))
Merge.kif 16347-16352
例
Collection
and
社會單位
永久居留權
Human
會員
Human
and
Collection
家
Human
and
永久居留權
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8060-8062
會員
Human
and
永久居留權
的
resident
家
Human
and
永久居留權
(=>
(
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 6665-6672
Human
是
Human
的
neighbor
永久居留權
永久居留權
家
Human
and
永久居留權
家
Human
and
永久居留權
等於
永久居留權
and
永久居留權
方位
永久居留權
,
永久居留權
and
近
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