| appearance as argument number 1 |
|
| (documentation AbsoluteValueFn ChineseLanguage "(AbsoluteValueFn ?NUMBER)的值时 RealNumber ?NUMBER 的绝对值。") | chinese_format.kif 2224-2225 | |
| (documentation AbsoluteValueFn EnglishLanguage "The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.") | Merge.kif 4413-4414 | |
| (domain AbsoluteValueFn 1 RealNumber) | Merge.kif 4410-4410 | domain AbsoluteValueFn, 1 and RealNumber |
| (instance AbsoluteValueFn TotalValuedRelation) | Merge.kif 4409-4409 | instance AbsoluteValueFn and TotalValuedRelation |
| (instance AbsoluteValueFn UnaryFunction) | Merge.kif 4408-4408 | instance AbsoluteValueFn and UnaryFunction |
| (lexicon AbsoluteValueFn LexNoun "abs") | engineering.kif 133-133 | lexicon AbsoluteValueFn, LexNoun and "abs" |
| (lexicon AbsoluteValueFn LexNoun "absolute value") | engineering.kif 134-134 | lexicon AbsoluteValueFn, LexNoun and "absolute value" |
| (range AbsoluteValueFn NonnegativeRealNumber) | Merge.kif 4411-4411 | range AbsoluteValueFn and NonnegativeRealNumber |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage AbsoluteValueFn "%1 的绝对值") | chinese_format.kif 688-688 | |
| (format EnglishLanguage AbsoluteValueFn "the absolute value of %1") | english_format.kif 693-693 | |
| (termFormat ChineseLanguage AbsoluteValueFn "绝对值") | domainEnglishFormat.kif 5159-5159 | termFormat ChineseLanguage, AbsoluteValueFn and "绝对值" |
| (termFormat ChineseLanguage AbsoluteValueFn "绝对值函数") | chinese_format.kif 689-689 | termFormat ChineseLanguage, AbsoluteValueFn and "绝对值函数" |
| (termFormat ChineseTraditionalLanguage AbsoluteValueFn "絕對值") | domainEnglishFormat.kif 5158-5158 | termFormat ChineseTraditionalLanguage, AbsoluteValueFn and "絕對值" |
| (termFormat EnglishLanguage AbsoluteValueFn "absolute value") | domainEnglishFormat.kif 5157-5157 | termFormat EnglishLanguage, AbsoluteValueFn and "absolute value" |
| antecedent |
|
|
| (<=> (and (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber)) (or (and (instance ?NUMBER1 NonnegativeRealNumber) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeRealNumber) (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1))))) |
Merge.kif 4416-4427 | equal AbsoluteValueFn RealNumber and NonnegativeRealNumber instance RealNumber and RealNumber instance NonnegativeRealNumber and RealNumber instance RealNumber and NonnegativeRealNumber equal RealNumber and NonnegativeRealNumber instance RealNumber and NegativeRealNumber equal NonnegativeRealNumber and SubtractionFn 0 and RealNumber |
|
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