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


s__instance(s__legalRelation,s__BinaryPredicate)

 Merge.kif 16876-16876 legal relation is an instance of binary predicate
s__instance(s__legalRelation,s__SymmetricRelation)

 Merge.kif 16877-16877 legal relation is an instance of symmetric relation
s__domain(s__legalRelation,n__1,s__Human)

 Merge.kif 16878-16878 The number 1 argument of legal relation is an instance of human
s__domain(s__legalRelation,n__2,s__Human)

 Merge.kif 16879-16879 The number 2 argument of legal relation is an instance of human
s__documentation(s__legalRelation, s__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
-------------------------


s__subrelation(s__spouse,s__legalRelation)

 Merge.kif 16917-16917 spouse is a subrelation of legal relation
s__subrelation(s__stepfather,s__legalRelation)

 Mid-level-ontology.kif 25467-25467 stepfather is a subrelation of legal relation
s__subrelation(s__stepmother,s__legalRelation)

 Mid-level-ontology.kif 25484-25484 stepmother is a subrelation of legal relation
s__termFormat(s__EnglishLanguage, s__legalRelation, "legal relation") domainEnglishFormat.kif 33847-33847 stepmother is a subrelation of legal relation
s__termFormat(s__ChineseTraditionalLanguage, s__legalRelation, "法律關係") domainEnglishFormat.kif 33848-33848 stepmother is a subrelation of legal relation
s__termFormat(s__ChineseLanguage, s__legalRelation, "法律关系") domainEnglishFormat.kif 33849-33849 stepmother is a subrelation of legal relation
s__format(s__EnglishLanguage, s__legalRelation, "there is %n a legal relation between %1 and %2") english_format.kif 820-820 stepmother is a subrelation of legal relation
s__format(s__JapaneseLanguage, s__legalRelation, "%1 と %2 間での legal relation は %n") english_format.kif 821-821 stepmother is a subrelation of legal relation

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


! [V__A1 : $i,V__A2 : $i,V__T1 : $i] : (((s__holdsDuring(V__T1, s__legalRelation(V__A1, V__A2)) & s__instance(V__A1, s__Organism) & s__instance(V__A2, s__Organism)) => s__holdsDuring(V__T1, s__relative(V__A1, V__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
! [V__AGENT1 : $i,V__AGENT2 : $i] : ((s__legalRelation(V__AGENT1, V__AGENT2) => ( ? [V__DECLARE:$i, V__OBLIGATION:$i] : ((s__instance(V__DECLARE, s__Declaring) & s__confersObligation(V__DECLARE, V__AGENT1, V__OBLIGATION) & s__confersObligation(V__DECLARE, V__AGENT2, V__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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners