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 因为法律上的关系而成为亲戚。例如：婚姻和领养等等。") Merge.kif 16763-16764
(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 16760-16762
(domain legalRelation 1 Human) Merge.kif 16758-16758 法律关系 的 1 数量 是 人类 的 instance
(domain legalRelation 2 Human) Merge.kif 16759-16759 法律关系 的 2 数量 是 人类 的 instance
(instance legalRelation BinaryPredicate) Merge.kif 16756-16756 法律关系 是 二元谓语 的 instance
(instance legalRelation SymmetricRelation) Merge.kif 16757-16757 法律关系 是 对称关系 的 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 496-496
(subrelation spouse legalRelation) Merge.kif 16805-16805 spouse 是 法律关系 的 subrelation
(subrelation stepfather legalRelation) Mid-level-ontology.kif 21045-21045 stepfather 是 法律关系 的 subrelation
(subrelation stepmother legalRelation) Mid-level-ontology.kif 21062-21062 stepmother 是 法律关系 的 subrelation
(termFormat ChineseLanguage legalRelation "法律关系") chinese_format.kif 809-809 termFormat ChineseLanguage, 法律关系 and "法律关系"
(termFormat EnglishLanguage legalRelation "legal relation") domainEnglishFormat.kif 6059-6059 termFormat EnglishLanguage, 法律关系 and "legal relation"

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


(=>
    (and
        (holdsDuring ?T1
            (legalRelation ?A1 ?A2))
        (instance ?A1 Organism)
        (instance ?A2 Organism))
    (holdsDuring ?T1
        (relative ?A1 ?A2)))		 Merge.kif 16543-16548
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))		 Merge.kif 16766-16772


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners