| 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 16491-16493 | |
| (domain legalRelation 1 Human) | Merge.kif 16489-16489 | The number 1 argument of legal relation is an instance of human |
| (domain legalRelation 2 Human) | Merge.kif 16490-16490 | The number 2 argument of legal relation is an instance of human |
| (instance legalRelation BinaryPredicate) | Merge.kif 16487-16487 | legal relation is an instance of binary predicate |
| (instance legalRelation SymmetricRelation) | Merge.kif 16488-16488 | 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 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 16528-16528 | spouse is a subrelation of legal relation |
| (subrelation stepfather legalRelation) | Mid-level-ontology.kif 23098-23098 | stepfather is a subrelation of legal relation |
| (subrelation stepmother legalRelation) | Mid-level-ontology.kif 23115-23115 | stepmother is a subrelation of legal relation |
| (termFormat ChineseLanguage legalRelation "法律关系") | chinese_format.kif 809-809 | |
| (termFormat ChineseTraditionalLanguage legalRelation "法律關係") | domainEnglishFormat.kif 33850-33850 | |
| (termFormat EnglishLanguage legalRelation "legal relation") | domainEnglishFormat.kif 33849-33849 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2))) |
Merge.kif 16294-16299 |
|
| (=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?OBLIGATION ?DECLARE ?AGENT1) (confersObligation ?OBLIGATION ?DECLARE ?AGENT2)))) |
Merge.kif 16495-16501 |
|
|
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