TreeView Knowledge Base Browser - greaterThanByQuality

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

greaterThanByQuality

Sigma KEE - greaterThanByQuality

greaterThanByQuality

appearance as argument number 1

(documentation greaterThanByQuality ChineseLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) 的意思是 ?ENTITY1 既定的 ?ATT 量比 ?ENTITY2 的多。")	chinese_format.kif 1541-1542
(documentation greaterThanByQuality EnglishLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) means that ?ENTITY1 has more of the given quality ?ATT than ?ENTITY2.")	Merge.kif 745-747
(documentation greaterThanByQuality JapaneseLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) とは、?ENTITY1が?ENTITY2よりも与えられた品質?ATTがより多くある、という意味である。")	japanese_format.kif 107-109
(documentation greaterThanByQuality SpanishLanguage "(greaterThanByQuality ?ENTITY1 ?ENTITY2 ?ATT) significa que ?ENTITY1 tiene más de la cualidad dada ?ATT que ?ENTITY2.")	spanish_format.kif 125-127
(domain greaterThanByQuality 1 Entity)	Merge.kif 749-749	The number 1 argument of greater than by quality is an instance of entity
(domain greaterThanByQuality 2 Entity)	Merge.kif 750-750	The number 2 argument of greater than by quality is an instance of entity
(domain greaterThanByQuality 3 Attribute)	Merge.kif 751-751	The number 3 argument of greater than by quality is an instance of attribute
(instance greaterThanByQuality TernaryPredicate)	Merge.kif 743-743	greater than by quality is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage greaterThanByQuality "%1 有 more %3 比 %2 ")	domainEnglishFormat.kif 3550-3550
(format ChineseTraditionalLanguage greaterThanByQuality "%1 有 more %3 比 %2 ")	domainEnglishFormat.kif 3549-3549
(format EnglishLanguage greaterThanByQuality "%1 has more %3 than %2")	domainEnglishFormat.kif 3548-3548
(termFormat EnglishLanguage greaterThanByQuality "greater than by quality")	domainEnglishFormat.kif 65841-65841

antecedent

(=> (and (greaterThanByQuality ?E1 ?E2 ?ATT) (greaterThanByQuality ?E2 ?E3 ?ATT)) (greaterThanByQuality ?E1 ?E3 ?ATT))	Merge.kif 753-757	If an entity has more an attribute than another entity and the other entity has more the attribute than a third entity, then the entity has more the attribute than the third entity
(=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (equal ?E2 ?E1)))	Merge.kif 764-767	If an entity has more an attribute than another entity, then the other entity is not equal to the entity
(=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (greaterThanByQuality ?E2 ?E1 ?ATT)))	Merge.kif 759-762	If an entity has more an attribute than another entity, then not the other entity has more the attribute than the entity

consequent

(=> (and (greaterThanByQuality ?E1 ?E2 ?ATT) (greaterThanByQuality ?E2 ?E3 ?ATT)) (greaterThanByQuality ?E1 ?E3 ?ATT))	Merge.kif 753-757	If an entity has more an attribute than another entity and the other entity has more the attribute than a third entity, then the entity has more the attribute than the third entity
(=> (greaterThanByQuality ?E1 ?E2 ?ATT) (not (greaterThanByQuality ?E2 ?E1 ?ATT)))	Merge.kif 759-762	If an entity has more an attribute than another entity, then not the other entity has more the attribute than the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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