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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Committing
Committing(委託)

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


(documentation Committing ChineseLanguage "这个 Class 的实例承诺 agent 在未来会有一些行动。 例如:鲍勃答应苏珊,晚上11点他会回家。") chinese_format.kif 3274-3275
(documentation Committing EnglishLanguage "Instances of this Class commit the agent to some future course of action. For example, Bob promised Susan that he would be home by 11pm.") Merge.kif 13376-13378
(subclass Committing LinguisticCommunication) Merge.kif 13375-13375 委託LinguisticCommunicationsubclass では

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


(subclass ClosingContract Committing) Mid-level-ontology.kif 23125-23125 ClosingContract委託subclass では
(subclass Offering Committing) Merge.kif 13387-13387 Offering委託subclass では
(subclass Reserving Committing) Dining.kif 756-756 Reserving委託subclass では
(subclass SigningAnAgreement Committing) Geography.kif 3275-3275 SigningAnAgreement委託subclass では
(subclass Threatening Committing) Mid-level-ontology.kif 848-848 Threatening委託subclass では
(termFormat ChineseLanguage Committing "承诺") chinese_format.kif 1203-1203 Threatening委託subclass では
(termFormat EnglishLanguage Committing "committing") english_format.kif 1623-1623 Threatening委託subclass では
(termFormat FrenchLanguage Committing "investir") french_format.kif 881-881 Threatening委託subclass では
(termFormat Hindi Committing "") terms-hindi.txt 414-414 Threatening委託subclass では
(termFormat ItalianLanguage Committing "Impegnarsi") terms-it.txt 417-417 Threatening委託subclass では
(termFormat JapaneseLanguage Committing "委託") japanese_format.kif 2565-2565 Threatening委託subclass では
(termFormat PortugueseLanguage Committing "Comprometer-se") portuguese_format.kif 833-833 Threatening委託subclass では
(termFormat cb Committing "paghimo") terms-cb.txt 419-419 Threatening委託subclass では
(termFormat cz Committing "committing") terms-cz.txt 453-453 Threatening委託subclass では
(termFormat de Committing "Festlegung") terms-de.txt 712-712 Threatening委託subclass では
(termFormat ro Committing "asumare") relations-ro.kif 902-902 Threatening委託subclass では
(termFormat tg Committing "pagpapangako") terms-tg.txt 418-418 Threatening委託subclass では

appearance as argument number 5
-------------------------


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 13190-13190 コミュニケーション記載, Supposing, 指導, 委託, 表現, + declaringexhaustively partitioned

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


(=>
    (and
        (instance ?AGREEMENT InternationalAgreement)
        (instance ?COMMITTING Committing)
        (represents ?COMMITTING ?AGREEMENT))
    (exists (?AGENT)
        (and
            (agent ?COMMITTING ?AGENT)
            (instance ?AGENT Nation))))
Geography.kif 3159-3167
(=>
    (and
        (instance ?COMMIT Committing)
        (patient ?COMMIT ?FORMULA)
        (instance ?FORMULA Formula))
    (modalAttribute ?FORMULA Promise))
Merge.kif 13380-13385

consequent
-------------------------


(=>
    (agreementAdoptionDate ?AGR ?DATE)
    (exists (?PROCESS ?DAY)
        (and
            (instance ?PROCESS Committing)
            (instance ?DAY ?DATE)
            (patient ?PROCESS ?AGR)
            (time ?PROCESS ?DAY))))
Government.kif 669-676
(=>
    (instance ?COMPACT Agreement)
    (exists (?COMM)
        (and
            (instance ?COMM Committing)
            (represents ?COMM ?COMPACT))))
Mid-level-ontology.kif 15336-15341
(=>
    (instance ?NEGOTIATE Negotiating)
    (hasPurpose ?NEGOTIATE
        (exists (?COMMIT)
            (and
                (instance ?COMMIT Committing)
                (subProcess ?COMMIT ?NEGOTIATE)
                (finishes
                    (WhenFn ?COMMIT)
                    (WhenFn ?NEGOTIATE))))))
Mid-level-ontology.kif 21285-21291
(=>
    (instance ?TREATY TreatyDocument)
    (exists (?COMM ?COUNTRY1 ?COUNTRY2)
        (and
            (instance ?COMM Committing)
            (patient ?COMM ?TREATY)
            (instance ?COUNTRY1 GeopoliticalArea)
            (agent ?COMM ?COUNTRY1)
            (instance ?COUNTRY2 GeopoliticalArea)
            (agent ?COMM ?COUNTRY2)
            (not
                (equal ?COUNTRY1 ?COUNTRY2)))))
Geography.kif 3197-3207
(=>
    (partyToAgreement ?AGENT ?CONTENT)
    (exists (?C)
        (and
            (instance ?C Committing)
            (agent ?C ?AGENT)
            (patient ?C ?CONTENT))))
Mid-level-ontology.kif 15372-15378


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