| appearance as argument number 1 |
|
| (documentation copy ChineseLanguage "这个概念把一个 Object 和这个 Object 一摸一样地副本联系 起来，而原本和它一摸一样的副本，在所有的特性除了(可能) 空间和/ 或时间地位置上，是没有区别的。") | chinese_format.kif 2077-2078 | |
| (documentation copy EnglishLanguage "relates an Object to an exact copy of the Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/ or temporal location.") | Merge.kif 3851-3854 | |
| (documentation copy JapaneseLanguage "Object を Object の正確なコピーに関連付け、 正確なコピーは(おそらく)空間的および/ または時間的な場所を除くすべてのプロパティに関して元のコピーと 区別できない。") | japanese_format.kif 723-725 | |
| (domain copy 1 Object) | Merge.kif 3848-3848 | |
| (domain copy 2 Object) | Merge.kif 3849-3849 | |
| (instance copy BinaryPredicate) | Merge.kif 3846-3846 | |
| (instance copy EquivalenceRelation) | Merge.kif 3847-3847 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage copy "%1 %n 是和 %2 完全相同的 copy") | chinese_format.kif 87-87 | |
| (format EnglishLanguage copy "%1 is %n a copy of %2") | english_format.kif 87-87 | |
| (format FrenchLanguage copy "%1 est %n une copie exact de %2") | french_format.kif 66-66 | |
| (format ItalianLanguage copy "%1 è %n un esatta copia di %2") | relations-it.txt 60-60 | |
| (format JapaneseLanguage copy "%1 は %2 の copy では %n") | japanese_format.kif 1892-1892 | |
| (format PortugueseLanguage copy "%1 e' %n uma copia exata de %2") | portuguese_format.kif 18-18 | |
| (format cz copy "%1 %p{je} %n{nen�} an exact copy of %2") | relations-cz.txt 115-115 | |
| (format de copy "%1 ist eine genaue kopie von %2") | relations-de.txt 95-95 | |
| (format hi copy "%1 %2 kii saTiika prati %n hai") | relations-hindi.txt 101-101 | |
| (format ro copy "%1 %n{nu} este o copy%t{copie} fidelã a lui %2") | relations-ro.kif 85-85 | |
| (format sv copy "%1 är %n{inte} en exakt kopia av %2") | relations-sv.txt 65-65 | |
| (format tg copy "%1 %n ay ang sipi ng tama ng %2") | relations-cb.txt 94-94 | |
| (termFormat ChineseLanguage copy "副本") | chinese_format.kif 88-88 | |
| (termFormat ChineseLanguage copy "复制") | domainEnglishFormat.kif 17315-17315 | |
| (termFormat ChineseTraditionalLanguage copy "複製") | domainEnglishFormat.kif 17314-17314 | |
| (termFormat EnglishLanguage copy "copy") | domainEnglishFormat.kif 17313-17313 | |
| (termFormat de copy "kopie") | terms-de.txt 26-26 | |
| (termFormat tg copy "sipi") | relations-tg.txt 137-137 |
| antecedent |
|
|
| (=> (copy ?OBJ1 ?OBJ2) (forall (?ATTR) (=> (attribute ?OBJ1 ?ATTR) (attribute ?OBJ2 ?ATTR)))) |
Merge.kif 3856-3861 |
| consequent |
|
|
| (=> (and (equal ?D (AlbumCopiesFn ?A ?DS)) (instance ?X ?D)) (forall (?S) (=> (inList ?S ?A) (exists (?C) (and (copy ?C ?S) (stored ?C ?X)))))) |
Music.kif 936-946 | |
| (=> (and (instance ?COPY Copying) (resource ?COPY ?THING1) (result ?COPY ?THING2)) (copy ?THING1 ?THING2)) |
Mid-level-ontology.kif 20673-20678 | |
| (=> (attribute ?T SymmetricShape) (exists (?C1 ?C2) (and (copy ?C1 ?C2) (equal ?T (MereologicalSumFn ?C1 ?C2))))) |
Mid-level-ontology.kif 2835-2841 | |
| (=> (equal ?S (RemixFn ?M ?A)) (exists (?P) (and (instance ?P IntentionalProcess) (patient ?P ?M) (agent ?P ?A) (result ?P ?S) (not (equal ?S ?M)) (not (copy ?S ?M))))) |
Music.kif 889-898 | |
| (=> (instance ?AGENT ChemicalAgent) (not (exists (?ORGANISM ?PROCESS ?SUBSTANCE) (and (instance ?ORGANISM Organism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (result ?PROCESS ?SUBSTANCE) (copy ?SUBSTANCE ?AGENT))))) |
WMD.kif 464-473 | |
| (=> (instance ?SUBSTANCE Toxin) (exists (?ORGANISM ?PROCESS) (and (instance ?ORGANISM ToxicOrganism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (or (result ?PROCESS ?SUBSTANCE) (exists (?RESULT) (and (result ?PROCESS ?RESULT) (copy ?SUBSTANCE ?RESULT))))))) |
WMD.kif 166-178 |
|
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