![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| intelligenceQuotient |
| 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 13447-13450 | |
| (instance intelligenceQuotient BinaryPredicate) | Mid-level-ontology.kif 13451-13451 | intelligence quotient is an instance of binary predicate |
| (instance intelligenceQuotient SingleValuedRelation) | Mid-level-ontology.kif 13452-13452 | intelligence quotient is an instance of single valued relation |
| (domain intelligenceQuotient 1 Human) | Mid-level-ontology.kif 13453-13453 | The number 1 argument of intelligence quotient is an instance of human |
| (domain intelligenceQuotient 2 RealNumber) | Mid-level-ontology.kif 13454-13454 | The number 2 argument of intelligence quotient is an instance of real number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage intelligenceQuotient "%2 is %n an intelligence quotient of %1") | domainEnglishFormat.kif 1355-1355 | |
| (format ChineseTraditionalLanguage intelligenceQuotient "%2 %n 是 %1 的 intelligence 交易者") | domainEnglishFormat.kif 1356-1356 | |
| (format ChineseLanguage intelligenceQuotient "%2 %n 是 %1 的 intelligence 交易者") | domainEnglishFormat.kif 1357-1357 | |
| (termFormat EnglishLanguage intelligenceQuotient "intelligence quotient") | domainEnglishFormat.kif 30375-30375 | |
| (termFormat ChineseTraditionalLanguage intelligenceQuotient "智商") | domainEnglishFormat.kif 30376-30376 | |
| (termFormat ChineseLanguage intelligenceQuotient "智商") | domainEnglishFormat.kif 30377-30377 |