TreeView 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 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

appearance as argument number 2

(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

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