TreeView Knowledge Base Browser

appearance as argument number 1

(documentation NumberList EnglishLanguage "NumberList is a List of Numbers.")	Mid-level-ontology.kif 34383-34383
(documentation NumberList ChineseLanguage "NumberList 是一个（数字） Number （串列） List。")	Mid-level-ontology.kif 34384-34384
(subclass NumberList List)	Mid-level-ontology.kif 34385-34385	Number list is a subclass of list

appearance as argument number 2

(range PhysicalQuantityToNumberFn NumberList)	Mid-level-ontology.kif 34398-34398	The range of physical quantity to number is an instance of number list
(termFormat EnglishLanguage NumberList "number list")	domainEnglishFormat.kif 10411-10411	The range of physical quantity to number is an instance of number list
(termFormat ChineseLanguage NumberList "数字串列")	domainEnglishFormat.kif 10412-10412	The range of physical quantity to number is an instance of number list

antecedent

(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))

If X is an instance of number list and Y is a member of X, then Y is an instance of number