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
Il numero 1 argomenti di
home
è un
istanza
di
Umano
(
domain
home
2
PermanentResidence
)
Merge.kif 14387-14387
Il numero 2 argomenti di
home
è un
istanza
di
PermanentResidence
(
instance
home
BinaryPredicate
)
Merge.kif 14385-14385
home
è un'
istanza
di
PredicatoBinario
(
subrelation
home
inhabits
)
Merge.kif 14384-14384
home
è una
sottorelazione
di
inhabits
appearance as argument number 2
(
disjointRelation
stays
home
)
Merge.kif 14393-14393
stays
e
home
sono
disgiunti
(
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
è un'
istanza
di
ApartmentUnit
home
Umano
and
PermanentResidence
Umano
non
possiede
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
è un'
istanza
di
SingleFamilyResidence
home
Umano
and
PermanentResidence
Umano
possiede
es
PermanentResidence
PermanentResidence
è un'
istanza
di
Costruzione
PermanentResidence
è un'
istanza
di
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
Processo
è un'
istanza
di
MovingResidence
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
home
AutonomousAgent
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
home
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�
is
uguale
a
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�
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
PermanentResidence
vales
durante
PosizioneTemporale
home
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?DS
DaySchool
)
(
not
(
exists
(?S)
(
and
(
student
?S ?DS)
(
home
?S ?DS)))))
Mid-level-ontology.kif 16783-16789
OrganizzazioneEducativa
è un'
istanza
di
DaySchool
Umano
student
Umano
and
OrganizzazioneEducativa
home
Umano
and
OrganizzazioneEducativa
(=>
(
instance
?RESIDENCE
ExecutiveResidence
)
(
exists
(?AREA ?POSITION ?PERSON)
(
and
(
located
?RESIDENCE ?AREA)
(
home
?PERSON ?RESIDENCE)
(
chiefOfState
?AREA ?POSITION ?PERSON))))
Government.kif 1542-1548
PermanentResidence
è un'
istanza
di
ExecutiveResidence
AreaGeopolitica
Posizione
and
Umano
PermanentResidence
è
localizzato
in
AreaGeopolitica
home
Umano
and
PermanentResidence
chiefOfState
AreaGeopolitica
,
Posizione
and
Umano
(=>
(
instance
?RESIDENCE
PermanentResidence
)
(
exists
(?PERSON)
(
home
?PERSON ?RESIDENCE)))
Merge.kif 15794-15797
PermanentResidence
è un'
istanza
di
PermanentResidence
Umano
home
Umano
and
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
Entit�Concreta
è un'
istanza
di
SingleFamilyResidence
Entit�Concreta
ha
scopo
Entit�
Entit�
home
Entit�
and
Entit�Concreta
home
Entit�
and
Entit�Concreta
Entit�
Entit�
è un'
istanza
di
SocialUnit
Entit�
è un
membro
di
Entit�
Entit�
è un
membro
di
Entit�
(=>
(
instance
?UNIT
SocialUnit
)
(
exists
(?HOME ?MEMBER)
(=>
(
member
?MEMBER ?UNIT)
(
home
?MEMBER ?HOME))))
Merge.kif 16276-16281
InsiemeConcreto
è un'
istanza
di
SocialUnit
PermanentResidence
Umano
Umano
è un
membro
di
InsiemeConcreto
home
Umano
and
PermanentResidence
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
Umano
è un
membro
di
ResidentFn
PermanentResidence
home
Umano
and
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
Umano
and
Umano
PermanentResidence
PermanentResidence
home
Umano
and
PermanentResidence
home
Umano
and
PermanentResidence
PermanentResidence
is
uguale
a
PermanentResidence
PermanentResidence
è
Near
a
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