TreeView Knowledge Base Browser

appearance as argument number 1

(subclass UnilateralGetting Getting)	Merge.kif 12063-12063	Unilateral getting is a subclass of getting
(relatedInternalConcept UnilateralGetting UnilateralGiving)	Merge.kif 12064-12064	Unilateral getting is internally related to unilateral giving
(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 12066-12069	Unilateral getting is internally related to unilateral giving

appearance as argument number 2

(subclass Stealing UnilateralGetting)	Mid-level-ontology.kif 20498-20498	Stealing is a subclass of unilateral getting
(subclass Inheriting UnilateralGetting)	Mid-level-ontology.kif 20535-20535	Inheriting is a subclass of unilateral getting
(subclass SeizingProperty UnilateralGetting)	Mid-level-ontology.kif 20619-20619	Seizing property is a subclass of unilateral getting
(subclass HostageTaking UnilateralGetting)	Mid-level-ontology.kif 24210-24210	Hostage taking is a subclass of unilateral getting
(termFormat EnglishLanguage UnilateralGetting "unilateral getting")	english_format.kif 1495-1495	Hostage taking is a subclass of unilateral getting

antecedent

(=>
    (instance ?GET UnilateralGetting)
    (not
        (exists (?TRANS)
            (and
                (instance ?TRANS Transaction)
                (subProcess ?GET ?TRANS)))))

If X is an instance of unilateral getting, then there doesn't exist Y such that Y is an instance of transaction and X is a subprocess of Y