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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChangeOfPossession
ChangeOfPossession

appearance as argument number 1
-------------------------


(documentation ChangeOfPossession ChineseLanguage "这是一组 Process Class，它出现在当 某样东西的拥有权从一个 Agent 转换到另外一个时。") chinese_format.kif 3071-3072
(documentation ChangeOfPossession EnglishLanguage "The Class of Processes where ownership of something is transferred from one AutonomousAgent to another.") Merge.kif 11749-11750
(documentation ChangeOfPossession JapaneseLanguage "何かの所有権がある Agent から別の Agent に移される Process の Clas 。") japanese_format.kif 1840-1841
(relatedInternalConcept ChangeOfPossession possesses) Merge.kif 11747-11747 相關的內部概念 ChangeOfPossession and 擁有
(subclass ChangeOfPossession SocialInteraction) Merge.kif 11746-11746 子類 ChangeOfPossession and SocialInteraction

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


(subclass Exporting ChangeOfPossession) Economy.kif 2634-2634 子類 出口 and ChangeOfPossession
(subclass Getting ChangeOfPossession) Merge.kif 11880-11880 子類 Getting and ChangeOfPossession
(subclass Giving ChangeOfPossession) Merge.kif 11773-11773 子類 Giving and ChangeOfPossession
(subclass Importing ChangeOfPossession) Economy.kif 2801-2801 子類 Importing and ChangeOfPossession
(subclass Sharing ChangeOfPossession) Mid-level-ontology.kif 20138-20138 子類 分享 and ChangeOfPossession
(subclass Transaction ChangeOfPossession) Merge.kif 11914-11914 子類 Transaction and ChangeOfPossession
(termFormat ChineseLanguage ChangeOfPossession "改变所有权") chinese_format.kif 1132-1132 子類 Transaction and ChangeOfPossession
(termFormat EnglishLanguage ChangeOfPossession "change of possession") english_format.kif 1481-1481 子類 Transaction and ChangeOfPossession
(termFormat FrenchLanguage ChangeOfPossession "changement de possession") french_format.kif 810-810 子類 Transaction and ChangeOfPossession
(termFormat Hindi ChangeOfPossession "adhikaara parivartana") terms-hindi.txt 342-342 子類 Transaction and ChangeOfPossession
(termFormat ItalianLanguage ChangeOfPossession "CambiamentodiPossesso") terms-it.txt 345-345 子類 Transaction and ChangeOfPossession
(termFormat JapaneseLanguage ChangeOfPossession "所有権の変更") japanese_format.kif 2494-2494 子類 Transaction and ChangeOfPossession
(termFormat PortugueseLanguage ChangeOfPossession "Mudanca de Dono") portuguese_format.kif 762-762 子類 Transaction and ChangeOfPossession
(termFormat cb ChangeOfPossession "kausaban sa tag-iya") terms-cb.txt 347-347 子類 Transaction and ChangeOfPossession
(termFormat cz ChangeOfPossession "change of possession") terms-cz.txt 381-381 子類 Transaction and ChangeOfPossession
(termFormat de ChangeOfPossession "Aenderung des Besitzes") terms-de.txt 640-640 子類 Transaction and ChangeOfPossession
(termFormat ro ChangeOfPossession "schimbarea posesiei") relations-ro.kif 831-831 子類 Transaction and ChangeOfPossession
(termFormat tg ChangeOfPossession "pagbabago ng pagmamay-ari") terms-tg.txt 346-346 子類 Transaction and ChangeOfPossession

antecedent
-------------------------


(=>
    (and
        (instance ?CHANGE ChangeOfPossession)
        (origin ?CHANGE ?AGENT1)
        (destination ?CHANGE ?AGENT2)
        (instance ?AGENT1 AutonomousAgent)
        (instance ?AGENT2 AutonomousAgent)
        (patient ?CHANGE ?OBJ))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring
            (EndFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT2 ?OBJ))))		 Merge.kif 11761-11771
(=>
    (and
        (instance ?CHANGE ChangeOfPossession)
        (patient ?CHANGE ?OBJ)
        (holdsDuring
            (BeginFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring
            (EndFn
                (WhenFn ?CHANGE))
            (possesses ?AGENT2 ?OBJ)))
    (not
        (equal ?AGENT1 ?AGENT2)))		 Merge.kif 11752-11759


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