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
Le nombre 1 argument de
home
est une
instance
de
humain
(
domain
home
2
PermanentResidence
)
Merge.kif 14387-14387
Le nombre 2 argument de
home
est une
instance
de
PermanentResidence
(
instance
home
BinaryPredicate
)
Merge.kif 14385-14385
home
est une
instance
de
pr�dicat binaire
(
subrelation
home
inhabits
)
Merge.kif 14384-14384
home
est une
sous
-relation de
inhabits
appearance as argument number 2
(
disjointRelation
stays
home
)
Merge.kif 14393-14393
stays
et
home
sont
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
PermanentResidence
est une
instance
de
ApartmentUnit
le
domicile
de
humain
est
PermanentResidence
humain
ne
poss
�de %n{pas}
PermanentResidence
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
PermanentResidence
est une
instance
de
SingleFamilyResidence
le
domicile
de
humain
est
PermanentResidence
humain
poss
�de
PermanentResidence
PermanentResidence
est une
instance
de
immeuble
PermanentResidence
est une
instance
de
CondominiumUnit
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
Processus
est une
instance
de
MovingResidence
processus
est un
agent
de
AutonomousAgent
entit�
entit�
le
domicile
de
AutonomousAgent
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
le
domicile
de
AutonomousAgent
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est
entit�
(=>
(
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
entit�
and
entit�
homePhoneNumber
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est une
instance
de
PermanentResidence
pendant
position temporel
le
domicile
de
entit�
est
entit�
pendant
position temporel
(=>
(
instance
?DS
DaySchool
)
(
not
(
exists
(?S)
(
and
(
student
?S ?DS)
(
home
?S ?DS)))))
Mid-level-ontology.kif 16783-16789
�cole
Est une
instance
de
DaySchool
humain
student
humain
and
�cole
le
domicile
de
humain
est
�cole
(=>
(
instance
?RESIDENCE
ExecutiveResidence
)
(
exists
(?AREA ?POSITION ?PERSON)
(
and
(
located
?RESIDENCE ?AREA)
(
home
?PERSON ?RESIDENCE)
(
chiefOfState
?AREA ?POSITION ?PERSON))))
Government.kif 1542-1548
PermanentResidence
est une
instance
de
ExecutiveResidence
secteur g�opolitique
position
and
humain
PermanentResidence
est
situ
� �
secteur g�opolitique
le
domicile
de
humain
est
PermanentResidence
chiefOfState
secteur g�opolitique
,
position
and
humain
(=>
(
instance
?RESIDENCE
PermanentResidence
)
(
exists
(?PERSON)
(
home
?PERSON ?RESIDENCE)))
Merge.kif 15794-15797
PermanentResidence
est une
instance
de
PermanentResidence
humain
le
domicile
de
humain
est
PermanentResidence
(=>
(
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
Physique
est une
instance
de
SingleFamilyResidence
physique
a pour
but
entit�
entit�
le
domicile
de
entit�
est
physique
le
domicile
de
entit�
est
physique
entit�
entit�
est une
instance
de
SocialUnit
entit�
est un
membre
de
entit�
entit�
est un
membre
de
entit�
(=>
(
instance
?UNIT
SocialUnit
)
(
exists
(?HOME ?MEMBER)
(=>
(
member
?MEMBER ?UNIT)
(
home
?MEMBER ?HOME))))
Merge.kif 16276-16281
Collection
est une
instance
de
SocialUnit
PermanentResidence
humain
humain
est un
membre
de
collection
le
domicile
de
humain
est
PermanentResidence
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
Humain
est un
membre
de
ResidentFn
PermanentResidence
le
domicile
de
humain
est
PermanentResidence
(=>
(
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
humain
and
humain
PermanentResidence
PermanentResidence
le
domicile
de
humain
est
PermanentResidence
le
domicile
de
humain
est
PermanentResidence
PermanentResidence
est
PermanentResidence
PermanentResidence
est
Near
�
PermanentResidence
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