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


KB Term:  Term intersection
English Word: 

Sigma KEE - legalRelation
legalRelation

appearance as argument number 1
-------------------------


(instance legalRelation BinaryPredicate) Merge.kif 16876-16876 legal relation is an instance of binary predicate
(instance legalRelation SymmetricRelation) Merge.kif 16877-16877 legal relation is an instance of symmetric relation
(domain legalRelation 1 Human) Merge.kif 16878-16878 The number 1 argument of legal relation is an instance of human
(domain legalRelation 2 Human) Merge.kif 16879-16879 The number 2 argument of legal relation is an instance of human
(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 16880-16882 The number 2 argument of legal relation is an instance of human

appearance as argument number 2
-------------------------


(subrelation spouse legalRelation) Merge.kif 16917-16917 spouse is a subrelation of legal relation
(subrelation stepfather legalRelation) Mid-level-ontology.kif 25467-25467 stepfather is a subrelation of legal relation
(subrelation stepmother legalRelation) Mid-level-ontology.kif 25484-25484 stepmother is a subrelation of legal relation
(termFormat EnglishLanguage legalRelation "legal relation") domainEnglishFormat.kif 33847-33847 stepmother is a subrelation of legal relation
(termFormat ChineseTraditionalLanguage legalRelation "法律關係") domainEnglishFormat.kif 33848-33848 stepmother is a subrelation of legal relation
(termFormat ChineseLanguage legalRelation "法律关系") domainEnglishFormat.kif 33849-33849 stepmother is a subrelation of legal relation
(format EnglishLanguage legalRelation "there is %n a legal relation between %1 and %2") english_format.kif 820-820 stepmother is a subrelation of legal relation
(format JapaneseLanguage legalRelation "%1 と %2 間での legal relation は %n") english_format.kif 821-821 stepmother is a subrelation of legal relation

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


(=>
    (and
        (holdsDuring ?T1
            (legalRelation ?A1 ?A2))
        (instance ?A1 Organism)
        (instance ?A2 Organism))
    (holdsDuring ?T1
        (relative ?A1 ?A2)))		 Merge.kif 16683-16688 If there is a legal relation between X and Y holds during Z, X is an instance of organism, and Y is an instance of organism, then Y is a relative of X holds during Z
(=>
    (legalRelation ?AGENT1 ?AGENT2)
    (exists (?DECLARE ?OBLIGATION)
        (and
            (instance ?DECLARE Declaring)
            (confersObligation ?DECLARE ?AGENT1 ?OBLIGATION)
            (confersObligation ?DECLARE ?AGENT2 ?OBLIGATION))))		 Merge.kif 16884-16890 If there is a legal relation between X and Y, then there exist Z, W such that Z is an instance of declaring, X obligates W to perform task of the type Z, and Y obligates W to perform task of the type Z


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners