| 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 11940-11943 | |
| (documentation UnilateralGetting JapaneseLanguage "Getting の任意のインスタンスは Transaction の一部ではない。言い換えれば、Getting のインスタンスは、何の見返りもない。 いくつかの UnilateralGetting の例として、充当、指揮、盗難などが挙げられる。") | japanese_format.kif 1859-1861 | |
| (relatedInternalConcept UnilateralGetting UnilateralGiving) | Merge.kif 11938-11938 | |
| (subclass UnilateralGetting Getting) | Merge.kif 11937-11937 |
| appearance as argument number 2 |
|
|
| (subclass HostageTaking UnilateralGetting) | Mid-level-ontology.kif 23562-23562 | |
| (subclass Inheriting UnilateralGetting) | Mid-level-ontology.kif 20187-20187 | |
| (subclass SeizingProperty UnilateralGetting) | Mid-level-ontology.kif 20268-20268 | |
| (subclass Stealing UnilateralGetting) | Mid-level-ontology.kif 20150-20150 | |
| (termFormat ChineseLanguage UnilateralGetting "单方面获得") | chinese_format.kif 1137-1137 | |
| (termFormat EnglishLanguage UnilateralGetting "unilateral getting") | english_format.kif 1491-1491 | |
| (termFormat FrenchLanguage UnilateralGetting "obtention unilat�rale") | french_format.kif 815-815 | |
| (termFormat Hindi UnilateralGetting "ekashaakhiiya praapwi") | terms-hindi.txt 347-347 | |
| (termFormat ItalianLanguage UnilateralGetting "PrenderePossesso") | terms-it.txt 350-350 | |
| (termFormat JapaneseLanguage UnilateralGetting "一方的な取得") | japanese_format.kif 2499-2499 | |
| (termFormat PortugueseLanguage UnilateralGetting "Obtencao Unilateral") | portuguese_format.kif 767-767 | |
| (termFormat cz UnilateralGetting "unilateral getting") | terms-cz.txt 386-386 | |
| (termFormat de UnilateralGetting "einseitiges Erhalten") | terms-de.txt 645-645 | |
| (termFormat ro UnilateralGetting "luare în posesie") | relations-ro.kif 836-836 | |
| (termFormat tg UnilateralGetting "di-pareho sa pagkuha") | terms-tg.txt 351-351 |
| antecedent |
|
|
| (=> (instance ?GET UnilateralGetting) (not (exists (?TRANS) (and (instance ?TRANS Transaction) (subProcess ?GET ?TRANS))))) |
Merge.kif 11945-11951 |
|
|
|