| 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 16696-16698 | |
| (domain legalRelation 1 Human) | Merge.kif 16694-16694 | |
| (domain legalRelation 2 Human) | Merge.kif 16695-16695 | |
| (instance legalRelation BinaryPredicate) | Merge.kif 16692-16692 | |
| (instance legalRelation SymmetricRelation) | Merge.kif 16693-16693 |
| 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 820-820 | |
| (format FrenchLanguage legalRelation "il y a %n une relation l�gal entre %1 et %2") | french_format.kif 485-485 | |
| (format JapaneseLanguage legalRelation "%1 と %2 間での legal relation は %n") | english_format.kif 821-821 | |
| (format PortugueseLanguage legalRelation "existe %n uma relacao legal entre %1 e %2") | portuguese_format.kif 437-437 | |
| (format ro legalRelation "%n{nu} existã o relation%t{relaþie} legal{legalã} între %1 ºi %2") | relations-ro.kif 507-507 | |
| (subrelation spouse legalRelation) | Merge.kif 16733-16733 | |
| (subrelation stepfather legalRelation) | Mid-level-ontology.kif 24790-24790 | |
| (subrelation stepmother legalRelation) | Mid-level-ontology.kif 24807-24807 | |
| (termFormat ChineseLanguage legalRelation "法律关系") | chinese_format.kif 809-809 | |
| (termFormat ChineseTraditionalLanguage legalRelation "法律關係") | domainEnglishFormat.kif 33855-33855 | |
| (termFormat EnglishLanguage legalRelation "legal relation") | domainEnglishFormat.kif 33854-33854 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2))) |
Merge.kif 16499-16504 | |
| (=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?OBLIGATION ?DECLARE ?AGENT1) (confersObligation ?OBLIGATION ?DECLARE ?AGENT2)))) |
Merge.kif 16700-16706 |
|
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 is open source software produced by Articulate Software and its partners