plaintiff - Sigma Knowledge base Browser

appearance as argument number 1

(documentation plaintiff EnglishLanguage "(plaintiff ?ACTION ?AGENT) means that ?AGENT is responsible for initiating the LegalAction ?ACTION.")	Mid-level-ontology.kif 12970-12971
(domain plaintiff 1 LegalAction)	Mid-level-ontology.kif 12972-12972
(domain plaintiff 2 CognitiveAgent)	Mid-level-ontology.kif 12973-12973
(instance plaintiff CaseRole)	Mid-level-ontology.kif 12975-12975
(subrelation plaintiff agent)	Mid-level-ontology.kif 12974-12974

appearance as argument number 2

(format ChineseLanguage plaintiff "%2 是 plaintiff 在 %1 ")	domainEnglishFormat.kif 4119-4119
(format ChineseTraditionalLanguage plaintiff "%2 是 plaintiff 在 %1 ")	domainEnglishFormat.kif 4118-4118
(format EnglishLanguage plaintiff "%2 is the plaintiff in %1")	domainEnglishFormat.kif 4117-4117
(termFormat ChineseLanguage plaintiff "原告")	domainEnglishFormat.kif 46003-46003
(termFormat ChineseTraditionalLanguage plaintiff "原告")	domainEnglishFormat.kif 46002-46002
(termFormat EnglishLanguage plaintiff "plaintiff")	domainEnglishFormat.kif 46001-46001

consequent

(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))

Mid-level-ontology.kif 10930-10944