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
legalRelation
Sigma KEE - legalRelation
legalRelation
appearance as argument number 1
(
documentation
legalRelation
ChineseLanguage
"(
legalRelation
?AGENT1 ?AGENT2)的意思是 ?AGENT1 和 ?AGENT2 因为法律上的关系而成为亲戚。例如:婚姻和领养等等。")
chinese_format.kif 3705-3706
(
documentation
legalRelation
EnglishLanguage
"(
legalRelation
?AGENT1 ?AGENT2) means that ?AGENT1 and ?AGENT2 are relatives by virtue of a legal relationship. Some examples include marriage, adoption, etc.")
Merge.kif 16543-16545
(
domain
legalRelation
1
Human
)
Merge.kif 16541-16541
O argumento numero 1 de
legalRelation
e' uma
instancia
de
Humano
(
domain
legalRelation
2
Human
)
Merge.kif 16542-16542
O argumento numero 2 de
legalRelation
e' uma
instancia
de
Humano
(
instance
legalRelation
BinaryPredicate
)
Merge.kif 16539-16539
legalRelation
e' uma
instancia
de
Predicado Binario
(
instance
legalRelation
SymmetricRelation
)
Merge.kif 16540-16540
legalRelation
e' uma
instancia
de
Relacao Simetrica
appearance as argument number 2
(
format
ChineseLanguage
legalRelation
"%1 和 %2 之间有
legalRelation
")
chinese_format.kif 808-808
(
format
EnglishLanguage
legalRelation
"there is %n a legal relation between %1 and %2")
english_format.kif 820-820
(
format
FrenchLanguage
legalRelation
"il y a %n une relation l�gal entre %1 et %2")
french_format.kif 485-485
(
format
JapaneseLanguage
legalRelation
"%1 と %2 間での legal relation は %n")
english_format.kif 821-821
(
format
PortugueseLanguage
legalRelation
"existe %n uma relacao legal entre %1 e %2")
portuguese_format.kif 437-437
(
format
ro
legalRelation
"%n{nu} existã o relation%t{relaþie} legal{legalã} între %1 ºi %2")
relations-ro.kif 507-507
(
subrelation
spouse
legalRelation
)
Merge.kif 16580-16580
spouse
e' uma
sub
-relacao de
legalRelation
(
subrelation
stepfather
legalRelation
)
Mid-level-ontology.kif 23148-23148
stepfather
e' uma
sub
-relacao de
legalRelation
(
subrelation
stepmother
legalRelation
)
Mid-level-ontology.kif 23165-23165
stepmother
e' uma
sub
-relacao de
legalRelation
(
termFormat
ChineseLanguage
legalRelation
"法律关系")
chinese_format.kif 809-809
(
termFormat
ChineseTraditionalLanguage
legalRelation
"法律關係")
domainEnglishFormat.kif 33844-33844
(
termFormat
EnglishLanguage
legalRelation
"legal relation")
domainEnglishFormat.kif 33843-33843
antecedent
(=>
(
and
(
holdsDuring
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16346-16351
Existe uma
relacao
legal
entre
Entidade
e
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Organismo
relative
Entidade
and
Entidade
vale
durante
Posicao Temporal
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16547-16553
Existe uma
relacao
legal
entre
Humano
e
Humano
Entidade
Formula
Entidade
e' uma
instancia
de
Declarar
Entidade
obriga
Humano
a executar tarefas de tipo
Formula
Entidade
obriga
Humano
a executar tarefas de tipo
Formula
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