defendant - Sigma Knowledge base Browser

appearance as argument number 1

(documentation defendant EnglishLanguage "(defendant ?AGENT ?ACTION) means the LegalAction ?ACTION makes a legal claim against ?AGENT.")	Mid-level-ontology.kif 16288-16289
(domain defendant 1 LegalAction)	Mid-level-ontology.kif 16290-16290	被告的 1 数量是法律诉讼的 instance
(domain defendant 2 CognitiveAgent)	Mid-level-ontology.kif 16291-16291	被告的 2 数量是有认知的主事的 instance
(instance defendant CaseRole)	Mid-level-ontology.kif 16293-16293	被告是格角色的 instance
(subrelation defendant patient)	Mid-level-ontology.kif 16292-16292	被告是受事的 subrelation

appearance as argument number 2

(format ChineseLanguage defendant "%2 是在 %1 的 defendant ")	domainEnglishFormat.kif 3218-3218
(format ChineseTraditionalLanguage defendant "%2 是在 %1 的 defendant ")	domainEnglishFormat.kif 3217-3217
(format EnglishLanguage defendant "%2 is the defendant in %1")	domainEnglishFormat.kif 3216-3216
(termFormat ChineseLanguage defendant "被告")	domainEnglishFormat.kif 18894-18894
(termFormat ChineseTraditionalLanguage defendant "被告")	domainEnglishFormat.kif 18893-18893
(termFormat EnglishLanguage defendant "defendant")	domainEnglishFormat.kif 18892-18892

antecedent

(=> (and (defenseLawyer ?P ?A) (defendant ?P ?D)) (desires ?A (not (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))))	Law.kif 295-306	如果 defenseLawyer 法律诉讼 and 有认知的主事和另一个有认知的主事是在那个法律诉讼的 defendant ，然后那个有认知的主事 desires 不存在实体这样那个实体是法律决定的 instance 和那个实体提到那个法律诉讼和那个另外有认知的主事 doesn't wants 那个实体
(=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))	Law.kif 318-328	如果 prosecutor 法律诉讼 and 有认知的主事和另一个有认知的主事是在那个法律诉讼的 defendant ，然后那个有认知的主事 desires 有存在实体这样那个实体是法律决定的 instance 和那个实体提到那个法律诉讼和那个另外有认知的主事 doesn't wants 那个实体

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 14176-14190