plaintiff - Sigma Knowledge base Browser

consequent

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

If All of the following hold: (1) X is an instance of contract (2) X is a party to agreement of Y (3) X is a party to agreement of Z (4) W is an instance of intentional process (5) Y is an agent of W (6) W expresses the content of V (7) V contains the formula U (8) X contains the formula T (9) T is not a consistent of U, then the statement there exists S such that S is an instance of legal action, Z is the plaintiff in S, and Y is the defendant in S has the modal force of possibility

(documentation plaintiff EnglishLanguage "(plaintiff ?ACTION ?AGENT) means that ?AGENT is responsible for initiating the LegalAction ?ACTION.")	Mid-level-ontology.kif 17901-17902
(domain plaintiff 1 LegalAction)	Mid-level-ontology.kif 17903-17903	The number 1 argument of plaintiff is an instance of legal action
(domain plaintiff 2 CognitiveAgent)	Mid-level-ontology.kif 17904-17904	The number 2 argument of plaintiff is an instance of cognitive agent
(subrelation plaintiff agent)	Mid-level-ontology.kif 17905-17905	plaintiff is a subrelation of agent
(instance plaintiff CaseRole)	Mid-level-ontology.kif 17906-17906	plaintiff is an instance of case role

(format EnglishLanguage plaintiff "%2 is the plaintiff in %1")	domainEnglishFormat.kif 4116-4116
(format ChineseTraditionalLanguage plaintiff "%2 是 plaintiff 在 %1 ")	domainEnglishFormat.kif 4117-4117
(format ChineseLanguage plaintiff "%2 是 plaintiff 在 %1 ")	domainEnglishFormat.kif 4118-4118
(termFormat EnglishLanguage plaintiff "plaintiff")	domainEnglishFormat.kif 46013-46013
(termFormat ChineseTraditionalLanguage plaintiff "原告")	domainEnglishFormat.kif 46014-46014
(termFormat ChineseLanguage plaintiff "原告")	domainEnglishFormat.kif 46015-46015