| UnilateralGetting | |
| appearance as argument number 1 |
|
|
| (documentation UnilateralGetting ChineseLanguage "這是任何不属于 Transaction 一部分 Getting 的实例。换句话说，这就是任何不涉及回报 Getting 的实例。UnilateralGetting 的一些例子有： 拨款、征用和偷窃等等。") | chinese_format.kif 3088-3090 | |
| (documentation UnilateralGetting EnglishLanguage "Any instance of Getting that is not part of a Transaction. In other words, any instance of Getting where nothing is given in return. Some examples of UnilateralGetting are: appropriating, commandeering, stealing, etc.") | Merge.kif 11030-11033 | |
| (relatedInternalConcept UnilateralGetting UnilateralGiving) | Merge.kif 11028-11028 | |
| (subclass UnilateralGetting Getting) | Merge.kif 11027-11027 |
| appearance as argument number 2 |
|
|
| (subclass HostageTaking UnilateralGetting) | Mid-level-ontology.kif 19748-19748 | |
| (subclass Inheriting UnilateralGetting) | Mid-level-ontology.kif 16319-16319 | |
| (subclass SeizingProperty UnilateralGetting) | Mid-level-ontology.kif 16397-16397 | |
| (subclass Stealing UnilateralGetting) | Mid-level-ontology.kif 16281-16281 | |
| (termFormat ChineseLanguage UnilateralGetting "单方面获得") | chinese_format.kif 1137-1137 | |
| (termFormat EnglishLanguage UnilateralGetting "unilateral getting") | english_format.kif 1496-1496 |
| antecedent |
|
|
| (=> (instance ?GET UnilateralGetting) (not (exists (?TRANS) (and (instance ?TRANS Transaction) (subProcess ?GET ?TRANS))))) |
Merge.kif 11035-11041 |
|
|
|