| 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 11033-11036 | |
| (relatedInternalConcept UnilateralGetting UnilateralGiving) | Merge.kif 11031-11031 | |
| (subclass UnilateralGetting Getting) | Merge.kif 11030-11030 |
| appearance as argument number 2 |
|
|
| (subclass HostageTaking UnilateralGetting) | Mid-level-ontology.kif 18390-18390 | |
| (subclass Inheriting UnilateralGetting) | Mid-level-ontology.kif 15155-15155 | |
| (subclass SeizingProperty UnilateralGetting) | Mid-level-ontology.kif 15236-15236 | |
| (subclass Stealing UnilateralGetting) | Mid-level-ontology.kif 15118-15118 | |
| (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 11038-11044 |
|
|
|