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 16521-16523
(
domain
legalRelation
1
Human
)
Merge.kif 16519-16519
legalRelation
の数値 1 引数は
人[人間]
の
instance
では %n
(
domain
legalRelation
2
Human
)
Merge.kif 16520-16520
legalRelation
の数値 2 引数は
人[人間]
の
instance
では %n
(
instance
legalRelation
BinaryPredicate
)
Merge.kif 16517-16517
legalRelation
は
2進述語
の
instance
では %n
(
instance
legalRelation
SymmetricRelation
)
Merge.kif 16518-16518
legalRelation
は
対称関係
の
instance
では %n
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 16558-16558
spouse
は
legalRelation
の
subrelation
では %n
(
subrelation
stepfather
legalRelation
)
Mid-level-ontology.kif 23149-23149
stepfather
は
legalRelation
の
subrelation
では %n
(
subrelation
stepmother
legalRelation
)
Mid-level-ontology.kif 23166-23166
stepmother
は
legalRelation
の
subrelation
では %n
(
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 16324-16329
エンティティー
と
エンティティー
間での
legal
relation
は %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
物
の
instance
では %n
エンティティー
は
物
の
instance
では %n
relative
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16525-16531
人[人間]
と
人[人間]
間での
legal
relation
は %n
エンティティー
公式
エンティティー
は
declaring
の
instance
では %n
エンティティー
は
人[人間]
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
エンティティー
は
人[人間]
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
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