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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of legal relation is an instance of human
(domain legalRelation 2 Human) Merge.kif 16759-16759 The number 2 argument of legal relation is an instance of human
(instance legalRelation BinaryPredicate) Merge.kif 16756-16756 legal relation is an instance of binary predicate
(instance legalRelation SymmetricRelation) Merge.kif 16757-16757 legal relation is an instance of symmetric relation

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 is a subrelation of legal relation
(subrelation stepfather legalRelation) Mid-level-ontology.kif 21045-21045 stepfather is a subrelation of legal relation
(subrelation stepmother legalRelation) Mid-level-ontology.kif 21062-21062 stepmother is a subrelation of legal relation
(termFormat ChineseLanguage legalRelation "法律关系") chinese_format.kif 809-809 "法律关系" is the printable form of legal relation in ChineseLanguage
(termFormat EnglishLanguage legalRelation "legal relation") domainEnglishFormat.kif 6059-6059 "legal relation" is the printable form of legal relation in english language

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 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