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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 15333-15335
(domain legalRelation 1 Human) Merge.kif 15331-15331
(domain legalRelation 2 Human) Merge.kif 15332-15332
(instance legalRelation BinaryPredicate) Merge.kif 15329-15329
(instance legalRelation SymmetricRelation) Merge.kif 15330-15330

appearance as argument number 2

(format ChineseLanguage legalRelation "%1 和 %2 之间有 legalRelation") chinese_format.kif 808-808
(format EnglishLanguage legalRelation "%1 と %2 間での legal relation は %n") english_format.kif 824-824
(format EnglishLanguage legalRelation "there is %n a legal relation between %1 and %2") english_format.kif 823-823
(subrelation spouse legalRelation) Merge.kif 15370-15370
(subrelation stepfather legalRelation) Mid-level-ontology.kif 21110-21110
(subrelation stepmother legalRelation) Mid-level-ontology.kif 21127-21127
(termFormat ChineseLanguage legalRelation "法律关系") chinese_format.kif 809-809
(termFormat ChineseTraditionalLanguage legalRelation "法律關係") domainEnglishFormat.kif 33738-33738
(termFormat EnglishLanguage legalRelation "legal relation") domainEnglishFormat.kif 33737-33737


        (holdsDuring ?T1
            (legalRelation ?A1 ?A2))
        (instance ?A1 Organism)
        (instance ?A2 Organism))
    (holdsDuring ?T1
        (relative ?A1 ?A2)))
Merge.kif 15137-15142
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
            (instance ?DECLARE Declaring)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT1)
            (confersObligation ?OBLIGATION ?DECLARE ?AGENT2))))
Merge.kif 15337-15343

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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