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
法律关系
的 1 数量 是
人类
的
instance
(
domain
legalRelation
2
Human
)
Merge.kif 16520-16520
法律关系
的 2 数量 是
人类
的
instance
(
instance
legalRelation
BinaryPredicate
)
Merge.kif 16517-16517
法律关系
是
二元谓语
的
instance
(
instance
legalRelation
SymmetricRelation
)
Merge.kif 16518-16518
法律关系
是
对称关系
的
instance
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
伴侣
是
法律关系
的
subrelation
(
subrelation
stepfather
legalRelation
)
Mid-level-ontology.kif 23149-23149
继父
是
法律关系
的
subrelation
(
subrelation
stepmother
legalRelation
)
Mid-level-ontology.kif 23166-23166
后母
是
法律关系
的
subrelation
(
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
如果
实体
和
另一个 实体
之间有
legalRelation
在
时间位置
holdsDuring
和
那个 实体
是
生物
的
instance
和
那个 另外 实体
是
生物
的
instance
,
然后
那个 另外 实体
是
那个 实体
的
relative
在
那个 时间位置
holdsDuring
(=>
(
legalRelation
?AGENT1 ?AGENT2)
(
exists
(?DECLARE ?OBLIGATION)
(
and
(
instance
?DECLARE
Declaring
)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT1)
(
confersObligation
?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 16525-16531
如果
人类
和
另一个 人类
之间有
legalRelation
,
然后 有存在
实体
和
公式
这样
那个 实体
是
声明
的
instance
和
那个 实体
要求
那个 人类
执行
那个 公式
的任务 和
那个 实体
要求
那个 另外 人类
执行
那个 公式
的任务
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