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 15706-15707
(domain defendant 1 LegalAction)	Mid-level-ontology.kif 15708-15708	被告的 1 数量是法律诉讼的 instance
(domain defendant 2 CognitiveAgent)	Mid-level-ontology.kif 15709-15709	被告的 2 数量是有认知的主事的 instance
(instance defendant CaseRole)	Mid-level-ontology.kif 15711-15711	被告是格角色的 instance
(subrelation defendant patient)	Mid-level-ontology.kif 15710-15710	被告是受事的 subrelation

appearance as argument number 2

(format ChineseLanguage defendant "%2 是在 %1 的 defendant ")	domainEnglishFormat.kif 3223-3223
(format ChineseTraditionalLanguage defendant "%2 是在 %1 的 defendant ")	domainEnglishFormat.kif 3222-3222
(format EnglishLanguage defendant "%2 is the defendant in %1")	domainEnglishFormat.kif 3221-3221
(termFormat ChineseLanguage defendant "被告")	domainEnglishFormat.kif 18885-18885
(termFormat ChineseTraditionalLanguage defendant "被告")	domainEnglishFormat.kif 18884-18884
(termFormat EnglishLanguage defendant "defendant")	domainEnglishFormat.kif 18883-18883

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 338-349	如果 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 361-371	如果 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 13619-13633