Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| legalRelation |
| appearance as argument number 1 |
|
| (instance legalRelation BinaryPredicate) | Merge.kif 16876-16876 | |
| (instance legalRelation SymmetricRelation) | Merge.kif 16877-16877 | |
| (domain legalRelation 1 Human) | Merge.kif 16878-16878 | |
| (domain legalRelation 2 Human) | Merge.kif 16879-16879 | |
| (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 |
| appearance as argument number 2 |
|
|
| (subrelation spouse legalRelation) | Merge.kif 16917-16917 | |
| (subrelation stepfather legalRelation) | Mid-level-ontology.kif 25467-25467 | |
| (subrelation stepmother legalRelation) | Mid-level-ontology.kif 25484-25484 | |
| (termFormat EnglishLanguage legalRelation "legal relation") | domainEnglishFormat.kif 33847-33847 | |
| (termFormat ChineseTraditionalLanguage legalRelation "法律關係") | domainEnglishFormat.kif 33848-33848 | |
| (termFormat ChineseLanguage legalRelation "法律关系") | domainEnglishFormat.kif 33849-33849 | |
| (format EnglishLanguage legalRelation "there is %n a legal relation between %1 and %2") | english_format.kif 820-820 | |
| (format JapaneseLanguage legalRelation "%1 と %2 間での legal relation は %n") | english_format.kif 821-821 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (legalRelation ?A1 ?A2)) (instance ?A1 Organism) (instance ?A2 Organism)) (holdsDuring ?T1 (relative ?A1 ?A2))) |
Merge.kif 16683-16688 | |
| (=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?DECLARE ?AGENT1 ?OBLIGATION) (confersObligation ?DECLARE ?AGENT2 ?OBLIGATION)))) |
Merge.kif 16884-16890 |
|