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
O argumento numero 1 de
home
e' uma
instancia
de
Humano
(
domain
home
2
PermanentResidence
)
Merge.kif 14387-14387
O argumento numero 2 de
home
e' uma
instancia
de
PermanentResidence
(
instance
home
BinaryPredicate
)
Merge.kif 14385-14385
home
e' uma
instancia
de
Predicado Binario
(
subrelation
home
inhabits
)
Merge.kif 14384-14384
home
e' uma
sub
-relacao de
inhabits
appearance as argument number 2
(
disjointRelation
stays
home
)
Merge.kif 14393-14393
stays
e
home
sao
disjuntos
(
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
e' uma
instancia
de
ApartmentUnit
a
casa
de
Humano
e'
PermanentResidence
Humano
nao
possui
%n
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
e' uma
instancia
de
SingleFamilyResidence
a
casa
de
Humano
e'
PermanentResidence
Humano
possui
PermanentResidence
PermanentResidence
e' uma
instancia
de
Predio
PermanentResidence
e' uma
instancia
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
Processo
e' uma
instancia
de
MovingResidence
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
a
casa
de
AutonomousAgent
e'
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
a
casa
de
AutonomousAgent
e'
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
(=>
(
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
Entidade
and
Entidade
homePhoneNumber
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e' uma
instancia
de
PermanentResidence
vale
durante
Posicao Temporal
a
casa
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
(=>
(
instance
?DS
DaySchool
)
(
not
(
exists
(?S)
(
and
(
student
?S ?DS)
(
home
?S ?DS)))))
Mid-level-ontology.kif 16783-16789
Organizacao Educacional
e' uma
instancia
de
DaySchool
Humano
student
Humano
and
Organizacao Educacional
a
casa
de
Humano
e'
Organizacao Educacional
(=>
(
instance
?RESIDENCE
ExecutiveResidence
)
(
exists
(?AREA ?POSITION ?PERSON)
(
and
(
located
?RESIDENCE ?AREA)
(
home
?PERSON ?RESIDENCE)
(
chiefOfState
?AREA ?POSITION ?PERSON))))
Government.kif 1542-1548
PermanentResidence
e' uma
instancia
de
ExecutiveResidence
Area Geopolitica
Posicao
and
Humano
PermanentResidence
e'
situado
em
Area Geopolitica
a
casa
de
Humano
e'
PermanentResidence
chiefOfState
Area Geopolitica
,
Posicao
and
Humano
(=>
(
instance
?RESIDENCE
PermanentResidence
)
(
exists
(?PERSON)
(
home
?PERSON ?RESIDENCE)))
Merge.kif 15794-15797
PermanentResidence
e' uma
instancia
de
PermanentResidence
Humano
a
casa
de
Humano
e'
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
Fisico
e' uma
instancia
de
SingleFamilyResidence
Fisico
tem por
fim
Entidade
Entidade
a
casa
de
Entidade
e'
Fisico
a
casa
de
Entidade
e'
Fisico
Entidade
Entidade
e' uma
instancia
de
SocialUnit
Entidade
e'
membro
de
Entidade
Entidade
e'
membro
de
Entidade
(=>
(
instance
?UNIT
SocialUnit
)
(
exists
(?HOME ?MEMBER)
(=>
(
member
?MEMBER ?UNIT)
(
home
?MEMBER ?HOME))))
Merge.kif 16276-16281
Colecao
e' uma
instancia
de
SocialUnit
PermanentResidence
Humano
Humano
e'
membro
de
Colecao
a
casa
de
Humano
e'
PermanentResidence
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8033-8035
Humano
e'
membro
de
ResidentFn
PermanentResidence
a
casa
de
Humano
e'
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
Humano
and
Humano
PermanentResidence
PermanentResidence
a
casa
de
Humano
e'
PermanentResidence
a
casa
de
Humano
e'
PermanentResidence
PermanentResidence
e'
igual
a
PermanentResidence
PermanentResidence
e'
Near
em relacao 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