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
域
法律關係
, 1 and
Human
(
domain
legalRelation
2
Human
)
Merge.kif 16542-16542
域
法律關係
, 2 and
Human
(
instance
legalRelation
BinaryPredicate
)
Merge.kif 16539-16539
例
法律關係
and
BinaryPredicate
(
instance
legalRelation
SymmetricRelation
)
Merge.kif 16540-16540
例
法律關係
and
SymmetricRelation
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
子關係
伴侶
and
法律關係
(
subrelation
stepfather
legalRelation
)
Mid-level-ontology.kif 23148-23148
子關係
繼父
and
法律關係
(
subrelation
stepmother
legalRelation
)
Mid-level-ontology.kif 23165-23165
子關係
後母
and
法律關係
(
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
持有期間
TimePosition
and
法律關係
Entity
and
Entity
例
Entity
and
Organism
例
Entity
and
Organism
持有期間
TimePosition
and
Entity
是
Entity
的
relative
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16547-16553
法律關係
Human
and
Human
Entity
Formula
例
Entity
and
Declaring
授予義務
Formula
,
Entity
and
Human
授予義務
Formula
,
Entity
and
Human
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