Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  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 16696-16698
(domain legalRelation 1 Human) Merge.kif 16694-16694 法律关系 的 1 数量 是 人类 的 instance
(domain legalRelation 2 Human) Merge.kif 16695-16695 法律关系 的 2 数量 是 人类 的 instance
(instance legalRelation BinaryPredicate) Merge.kif 16692-16692 法律关系 是 二元谓语 的 instance
(instance legalRelation SymmetricRelation) Merge.kif 16693-16693 法律关系 是 对称关系 的 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 16733-16733 伴侣 是 法律关系 的 subrelation
(subrelation stepfather legalRelation) Mid-level-ontology.kif 24790-24790 继父 是 法律关系 的 subrelation
(subrelation stepmother legalRelation) Mid-level-ontology.kif 24807-24807 后母 是 法律关系 的 subrelation
(termFormat ChineseLanguage legalRelation "法律关系") chinese_format.kif 809-809 后母 是 法律关系 的 subrelation
(termFormat ChineseTraditionalLanguage legalRelation "法律關係") domainEnglishFormat.kif 33855-33855 后母 是 法律关系 的 subrelation
(termFormat EnglishLanguage legalRelation "legal relation") domainEnglishFormat.kif 33854-33854 后母 是 法律关系 的 subrelation

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T1
            (legalRelation ?A1 ?A2))
        (instance ?A1 Organism)
        (instance ?A2 Organism))
    (holdsDuring ?T1
        (relative ?A1 ?A2)))		 Merge.kif 16499-16504
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))		 Merge.kif 16700-16706


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