consistent |
appearance as argument number 1 |
(documentation consistent ChineseLanguage "(consistent ?PROP1 ?PROP2)的意思是两个 Proposition ?PROP1 和 ?PROP2 彼此一致,也就是说它们两个都有可能同时成真。") | chinese_format.kif 3784-3785 | |
(documentation consistent EnglishLanguage "(consistent ?PROP1 ?PROP2) means that the two Propositions ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time.") | Merge.kif 16906-16908 | |
(domain consistent 1 Proposition) | Merge.kif 16904-16904 | 一贯 的 1 数量 是 命题 的 instance |
(domain consistent 2 Proposition) | Merge.kif 16905-16905 | 一贯 的 2 数量 是 命题 的 instance |
(instance consistent BinaryPredicate) | Merge.kif 16902-16902 | 一贯 是 二元谓语 的 instance |
(instance consistent SymmetricRelation) | Merge.kif 16903-16903 | 一贯 是 对称关系 的 instance |
appearance as argument number 2 |
(format ChineseLanguage consistent "%2 %n 是 %1 的 consistent") | domainEnglishFormat.kif 536-536 | |
(format ChineseTraditionalLanguage consistent "%2 %n 是 %1 的 consistent ") | domainEnglishFormat.kif 535-535 | |
(format EnglishLanguage consistent "%2 is %n a consistent of %1") | domainEnglishFormat.kif 534-534 | |
(termFormat ChineseLanguage consistent "一贯") | domainEnglishFormat.kif 16698-16698 | |
(termFormat ChineseTraditionalLanguage consistent "一貫") | domainEnglishFormat.kif 16697-16697 | |
(termFormat EnglishLanguage consistent "consistent") | domainEnglishFormat.kif 16696-16696 |
antecedent |
(=> (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 14149-14163 |
|
consequent |
(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13850-13857 | 公式 的声明 has 合法 的语气 若且唯若 不存在 另一个 公式 这样 那个 另外 公式 的声明 has 法 的语气 和 那个 另外 公式 不 是 那个 公式 的 consistent |
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT)) |
MilitaryProcesses.kif 2244-2252 | |
(=> (instance ?ACTION CriminalAction) (exists (?LAW ?CONTENT ?CRIME) (and (modalAttribute ?LAW Law) (containsInformation ?LAW ?CONTENT) (realization ?ACTION ?CRIME) (not (consistent ?CONTENT ?CRIME))))) |
Mid-level-ontology.kif 13862-13869 | |
(=> (instance ?C Correcting) (exists (?D ?S ?SP ?CP) (and (instance ?D Disagreeing) (subProcess ?C ?D) (instance ?S Stating) (subProcess ?S ?D) (containsInformation ?S ?SP) (containsInformation ?C ?CP) (refers ?CP ?SP) (not (consistent ?CP ?SP))))) |
Mid-level-ontology.kif 29691-29703 |
|
(=> (instance ?DIS Disagreeing) (exists (?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2) (and (subProcess ?STATE1 ?DIS) (subProcess ?STATE2 ?DIS) (agent ?STATE1 ?A1) (agent ?STATE2 ?A2) (not (equal ?A1 ?A2)) (containsInformation ?STATE1 ?STMT1) (containsInformation ?STATE2 ?STMT2) (not (consistent ?STMT1 ?STMT2))))) |
Merge.kif 13157-13170 |
|