Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnilateralGetting
UnilateralGetting(obtention unilat�rale)

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 11790-11793
(documentation UnilateralGetting JapaneseLanguage "Getting の任意のインスタンスは Transaction の一部ではない。言い換えれば、Getting のインスタンスは、何の見返りもない。 いくつかの UnilateralGetting の例として、充当、指揮、盗難などが挙げられる。") japanese_format.kif 1859-1861
(relatedInternalConcept UnilateralGetting UnilateralGiving) Merge.kif 11788-11788 Obtention unilat�rale est reli� � l'int�rieur de SUMO � donnation unilat�rale
(subclass UnilateralGetting Getting) Merge.kif 11787-11787 Obtention unilat�rale est une sous-classe de obtenir

appearance as argument number 2
-------------------------


(subclass HostageTaking UnilateralGetting) Mid-level-ontology.kif 21919-21919 HostageTaking est une sous-classe de obtention unilat�rale
(subclass Inheriting UnilateralGetting) Mid-level-ontology.kif 18616-18616 Inheriting est une sous-classe de obtention unilat�rale
(subclass SeizingProperty UnilateralGetting) Mid-level-ontology.kif 18697-18697 SeizingProperty est une sous-classe de obtention unilat�rale
(subclass Stealing UnilateralGetting) Mid-level-ontology.kif 18579-18579 Stealing est une sous-classe de obtention unilat�rale
(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 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 11795-11801


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners