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


KB Term:  Term intersection
English Word: 

  Entity

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