| appearance as argument number 1 |
|
| (documentation intelligenceQuotient EnglishLanguage "(intelligenceQuotient ?PERSON ?NUMBER) means that ?NUMBER is the I.Q. of ?PERSON. The I.Q. of a person is the ratio of their mental age (determined by a standardized test) divided by their chronological age, multiplied by 100.") | Mid-level-ontology.kif 11919-11922 | |
| (domain intelligenceQuotient 1 Human) | Mid-level-ontology.kif 11925-11925 | intelligenceQuotient の数値 1 引数は 人［人間］ の instance では %n |
| (domain intelligenceQuotient 2 RealNumber) | Mid-level-ontology.kif 11926-11926 | intelligenceQuotient の数値 2 引数は 実数 の instance では %n |
| (instance intelligenceQuotient BinaryPredicate) | Mid-level-ontology.kif 11923-11923 | intelligenceQuotient は 2進述語 の instance では %n |
| (instance intelligenceQuotient SingleValuedRelation) | Mid-level-ontology.kif 11924-11924 | intelligenceQuotient は 一価関係 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage intelligenceQuotient "%2 %n 是 %1 的 intelligence 交易者") | domainEnglishFormat.kif 1357-1357 | |
| (format ChineseTraditionalLanguage intelligenceQuotient "%2 %n 是 %1 的 intelligence 交易者") | domainEnglishFormat.kif 1356-1356 | |
| (format EnglishLanguage intelligenceQuotient "%2 is %n an intelligence quotient of %1") | domainEnglishFormat.kif 1355-1355 | |
| (termFormat ChineseLanguage intelligenceQuotient "智商") | domainEnglishFormat.kif 30379-30379 | |
| (termFormat ChineseTraditionalLanguage intelligenceQuotient "智商") | domainEnglishFormat.kif 30378-30378 | |
| (termFormat EnglishLanguage intelligenceQuotient "intelligence quotient") | domainEnglishFormat.kif 30377-30377 |
|
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