| appearance as argument number 1 |
|
| (documentation trichotomizingOn ChineseLanguage "一个 BinaryRelation ?REL 在一个 SetOrClass 属于三分关系，除非对于这个 SetOrClass 所有的 ?INST1 和 ?INST2 的实例， 起码任何以下一个 (?REL ?INST1 ?INST2)，(?REL ?INST2 ?INST1) 或 (equal ?INST1 ?INST2) 是真的。") | chinese_format.kif 2051-2054 | |
| (documentation trichotomizingOn EnglishLanguage "A BinaryRelation ?REL is trichotomizing on a Class only if, for all instances ?INST1 and ?INST2 of the Class, at least one of the following holds: (?REL ?INST1 ?INST2), (?REL ?INST2 ?INST1) or (equal ?INST1 ?INST2).") | Merge.kif 3684-3687 | |
| (documentation trichotomizingOn JapaneseLanguage "A BinaryRelation ?REL は、SetOrClass のすべてのインスタンス?INST1と?INST2に対して、(?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)または(?INST1 ?INST2と等しい) のいずれかを保持している場合にのみ、 SetOrClass 三分される。") | japanese_format.kif 696-699 | |
| (domain trichotomizingOn 1 BinaryRelation) | Merge.kif 3681-3681 | trichotomizingOn の数値 1 引数は 2項関係 の instance では %n |
| (domain trichotomizingOn 2 Class) | Merge.kif 3682-3682 | trichotomizingOn の数値 2 引数は クラス の instance では %n |
| (instance trichotomizingOn AsymmetricRelation) | Merge.kif 3680-3680 | trichotomizingOn は 非対称関係 の instance では %n |
| (instance trichotomizingOn BinaryPredicate) | Merge.kif 3679-3679 | trichotomizingOn は 2進述語 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage trichotomizingOn "%1 %n 是 %2 的 trichotomizingOn ") | chinese_format.kif 195-195 | |
| (format EnglishLanguage trichotomizingOn "%1 is %n trichotomizing on %2") | english_format.kif 196-196 | |
| (format FrenchLanguage trichotomizingOn "%1 est %n trichotomiz� en %2") | french_format.kif 117-117 | |
| (format ItalianLanguage trichotomizingOn "%1 è %n tricotomizzante su %2") | relations-it.txt 304-304 | |
| (format JapaneseLanguage trichotomizingOn "%1 は %2 で trichotomizing されて %n") | japanese_format.kif 1946-1946 | |
| (format PortugueseLanguage trichotomizingOn "%1 e' %n tricotomizado en %2") | portuguese_format.kif 69-69 | |
| (format cz trichotomizingOn "%1 %p{je} %n{nen�} trichotomizing on %2") | relations-cz.txt 111-111 | |
| (format de trichotomizingOn "%1 ist eine trichotomizierung auf %2 %n{nicht}") | relations-de.txt 250-250 | |
| (format hi trichotomizingOn "%1 %2 para trivibhaagii %n hai") | relations-hindi.txt 340-340 | |
| (format ro trichotomizingOn "%1 %n{nu} este o relaþie trichotomizing%t{trihotomicã} pe %2") | relations-ro.kif 136-136 | |
| (format sv trichotomizingOn "%1 en %n{inte} trichotomisering över %2") | relations-sv.txt 122-122 | |
| (termFormat ChineseLanguage trichotomizingOn "trichotomizing") | domainEnglishFormat.kif 59186-59186 | |
| (termFormat ChineseLanguage trichotomizingOn "含三分律关系") | chinese_format.kif 196-196 | |
| (termFormat ChineseTraditionalLanguage trichotomizingOn "trichotomizing") | domainEnglishFormat.kif 59185-59185 | |
| (termFormat EnglishLanguage trichotomizingOn "trichotomizing on") | domainEnglishFormat.kif 59184-59184 | |
| (termFormat de trichotomizingOn "trichotomizierungAuf") | terms-de.txt 79-79 |
| antecedent |
|
|
| (=> (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS)) (totalOrderingOn ?RELATION ?CLASS)) |
Merge.kif 3673-3677 | |
| (=> (and (trichotomizingOn ?RELATION ?CLASS) (instance ?RELATION RelationExtendedToQuantities)) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (or (?RELATION ?INST1 ?INST2) (?RELATION ?INST2 ?INST1) (equal ?INST1 ?INST2))))) |
Merge.kif 3689-3701 |
| consequent |
|
|
| (=> (totalOrderingOn ?RELATION ?CLASS) (and (partialOrderingOn ?RELATION ?CLASS) (trichotomizingOn ?RELATION ?CLASS))) |
Merge.kif 3667-3671 |
| appearance as argument number 0 |
|
|
| (trichotomizingOn greaterThan RealNumber) | Merge.kif 1847-1847 | greaterThan は 実数 で trichotomizing されて %n |
| (trichotomizingOn greaterThanOrEqualTo RealNumber) | Merge.kif 1876-1876 | greaterThanOrEqualTo は 実数 で trichotomizing されて %n |
| (trichotomizingOn lessThan RealNumber) | Merge.kif 1835-1835 | lessThan は 実数 で trichotomizing されて %n |
| (trichotomizingOn lessThanOrEqualTo RealNumber) | Merge.kif 1859-1859 | lessThanOrEqualTo は 実数 で trichotomizing されて %n |
|
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