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 16486-16487
(domain plaintiff 1 LegalAction)	Mid-level-ontology.kif 16488-16488	The number 1 argument of plaintiff is an instance of legal action
(domain plaintiff 2 CognitiveAgent)	Mid-level-ontology.kif 16489-16489	The number 2 argument of plaintiff is an instance of cognitive agent
(instance plaintiff CaseRole)	Mid-level-ontology.kif 16491-16491	plaintiff is an instance of case role
(subrelation plaintiff agent)	Mid-level-ontology.kif 16490-16490	plaintiff is a subrelation of agent

appearance as argument number 2

(format ChineseLanguage plaintiff "%2 是 plaintiff 在 %1 ")	domainEnglishFormat.kif 4114-4114
(format ChineseTraditionalLanguage plaintiff "%2 是 plaintiff 在 %1 ")	domainEnglishFormat.kif 4113-4113
(format EnglishLanguage plaintiff "%2 is the plaintiff in %1")	domainEnglishFormat.kif 4112-4112
(termFormat ChineseLanguage plaintiff "原告")	domainEnglishFormat.kif 46058-46058
(termFormat ChineseTraditionalLanguage plaintiff "原告")	domainEnglishFormat.kif 46057-46057
(termFormat EnglishLanguage plaintiff "plaintiff")	domainEnglishFormat.kif 46056-46056

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 14367-14381