legalRelation |
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 16543-16545 | |
(domain legalRelation 1 Human) | Merge.kif 16541-16541 | 域 法律關係, 1 and Human |
(domain legalRelation 2 Human) | Merge.kif 16542-16542 | 域 法律關係, 2 and Human |
(instance legalRelation BinaryPredicate) | Merge.kif 16539-16539 | 例 法律關係 and BinaryPredicate |
(instance legalRelation SymmetricRelation) | Merge.kif 16540-16540 | 例 法律關係 and SymmetricRelation |
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 16580-16580 | 子關係 伴侶 and 法律關係 |
(subrelation stepfather legalRelation) | Mid-level-ontology.kif 23148-23148 | 子關係 繼父 and 法律關係 |
(subrelation stepmother legalRelation) | Mid-level-ontology.kif 23165-23165 | 子關係 後母 and 法律關係 |
(termFormat ChineseLanguage legalRelation "法律关系") | chinese_format.kif 809-809 | |
(termFormat ChineseTraditionalLanguage legalRelation "法律關係") | domainEnglishFormat.kif 33844-33844 | |
(termFormat EnglishLanguage legalRelation "legal relation") | domainEnglishFormat.kif 33843-33843 |
antecedent |
(=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2))) |
Merge.kif 16346-16351 | |
(=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?OBLIGATION ?DECLARE ?AGENT1) (confersObligation ?OBLIGATION ?DECLARE ?AGENT2)))) |
Merge.kif 16547-16553 |