Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - totalOrderingOn
totalOrderingOn

appearance as argument number 1
-------------------------


(documentation totalOrderingOn ChineseLanguage "一个 BinaryRelation ?REL 在一个 SetOrClass 是一个完全的顺序的,除非对于这个 SetOrClass 里每一个?INST1 和 ?INST2, (?REL ?INST1 ?INST2) 或者是 (?REL ?INST2 ?INST1) 是部分顺序的。") chinese_format.kif 2048-2050
(documentation totalOrderingOn EnglishLanguage "A BinaryRelation ?REL is a total ordering on a SetOrClass only if it is a partial ordering for which either (?REL ?INST1 ?INST2) or (?REL ?INST2 ?INST1) for every ?INST1 and ?INST2 in the SetOrClass.") Merge.kif 3415-3418
(domain totalOrderingOn 1 BinaryRelation) Merge.kif 3412-3412 domain totalOrderingOn, 1 and BinaryRelation
(domain totalOrderingOn 2 SetOrClass) Merge.kif 3413-3413 domain totalOrderingOn, 2 and SetOrClass
(instance totalOrderingOn AsymmetricRelation) Merge.kif 3411-3411 instance totalOrderingOn and AsymmetricRelation
(instance totalOrderingOn BinaryPredicate) Merge.kif 3410-3410 instance totalOrderingOn and BinaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage totalOrderingOn "%1 %n 是 %2 的 totalOrderingOn") chinese_format.kif 193-193
(format EnglishLanguage totalOrderingOn "%1 is %n total ordering on %2") english_format.kif 197-197
(termFormat ChineseLanguage totalOrderingOn "含全序关系") chinese_format.kif 194-194 termFormat ChineseLanguage, totalOrderingOn and "含全序关系"
(termFormat ChineseLanguage totalOrderingOn "总订货量") domainEnglishFormat.kif 58537-58537 termFormat ChineseLanguage, totalOrderingOn and "总订货量"
(termFormat ChineseTraditionalLanguage totalOrderingOn "總訂貨量") domainEnglishFormat.kif 58536-58536 termFormat ChineseTraditionalLanguage, totalOrderingOn and "總訂貨量"
(termFormat EnglishLanguage totalOrderingOn "total ordering on") domainEnglishFormat.kif 58535-58535 termFormat EnglishLanguage, totalOrderingOn and "total ordering on"

antecedent
-------------------------


(<=>
    (totalOrderingOn ?RELATION ?CLASS)
    (and
        (partialOrderingOn ?RELATION ?CLASS)
        (trichotomizingOn ?RELATION ?CLASS)))
Merge.kif 3420-3424 totalOrderingOn BinaryRelation and SetOrClass partialOrderingOn BinaryRelation and SetOrClass trichotomizingOn BinaryRelation and SetOrClass


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners