| appearance as argument number 1 |
|
| (documentation multiplicativeFactor ChineseLanguage "(multiplicativeFactor ?NUMBER1 ?NUMBER2)的意思是 ?NUMBER1 是 ?NUMBER2 因子，即是 ?NUMBER1 可以成某些 Integer 而得出 ?NUMBER2。") | chinese_format.kif 2238-2240 | |
| (documentation multiplicativeFactor EnglishLanguage "(multiplicativeFactor ?NUMBER1 ?NUMBER2)means that ?NUMBER1 is a factor of ?NUMBER2, i.e. ?NUMBER1 can be multiplied by some Integer to give ?NUMBER2 as a result.") | Merge.kif 4701-4703 | |
| (domain multiplicativeFactor 1 Integer) | Merge.kif 4707-4707 | |
| (domain multiplicativeFactor 2 Integer) | Merge.kif 4708-4708 | |
| (instance multiplicativeFactor BinaryPredicate) | Merge.kif 4705-4705 | |
| (instance multiplicativeFactor TransitiveRelation) | Merge.kif 4706-4706 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage multiplicativeFactor "%2 %n 是 %1 的 multiplicative 因子") | domainEnglishFormat.kif 1763-1763 | |
| (format ChineseTraditionalLanguage multiplicativeFactor "%2 %n 是 %1 的 multiplicative 因子") | domainEnglishFormat.kif 1762-1762 | |
| (format EnglishLanguage multiplicativeFactor "%2 is %n a multiplicative factor of %1") | domainEnglishFormat.kif 1761-1761 | |
| (termFormat ChineseLanguage multiplicativeFactor "乘法因子") | domainEnglishFormat.kif 39181-39181 | |
| (termFormat ChineseTraditionalLanguage multiplicativeFactor "乘法因子") | domainEnglishFormat.kif 39180-39180 | |
| (termFormat EnglishLanguage multiplicativeFactor "multiplicative factor") | domainEnglishFormat.kif 39179-39179 |
| antecedent |
|
|
| (=> (multiplicativeFactor ?N1 ?N2) (exists (?I) (and (instance ?I Integer) (equal ?N2 (MultiplicationFn ?N1 ?I))))) |
Merge.kif 4710-4715 |
|
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