| 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 17066-17068 | |
| (domain consistent 1 Proposition) | Merge.kif 17064-17064 | consistent の数値 1 引数は 命題 の instance では |
| (domain consistent 2 Proposition) | Merge.kif 17065-17065 | consistent の数値 2 引数は 命題 の instance では |
| (instance consistent BinaryPredicate) | Merge.kif 17062-17062 | consistent は 2進述語 の instance では |
| (instance consistent SymmetricRelation) | Merge.kif 17063-17063 | consistent は 対称関係 の 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 16707-16707 | |
| (termFormat ChineseTraditionalLanguage consistent "一貫") | domainEnglishFormat.kif 16706-16706 | |
| (termFormat EnglishLanguage consistent "consistent") | domainEnglishFormat.kif 16705-16705 |
| 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 15520-15534 |
|
| consequent |
|
|
| (<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 15221-15228 | ステートメント 公式 には Legal の modal force が ある 公式 ステートメント 公式 には Law の modal force が ある consistent 公式 and 公式 |
| (=> (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 15233-15240 | |
| (=> (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 31612-31624 | |
| (=> (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 13296-13309 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners