subclass |
appearance as argument number 1 |
![]() |
(documentation subclass ChineseLanguage "(subclass ?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的 subclass,也就是说, ?CLASS1 的每一个 instance 同时也是 ?CLASS2 的一个 instance。一个 Class 可以具有多个超类别和子类别。") | chinese_format.kif 1371-1373 | |
(documentation subclass EnglishLanguage "(subclass ?CLASS1 ?CLASS2) means that ?CLASS1 is a subclass of ?CLASS2, i.e. every instance of ?CLASS1 is also an instance of ?CLASS2. A Class may have multiple superclasses and subclasses.") | Merge.kif 131-133 | |
(domain subclass 1 Class) | Merge.kif 129-129 | The number 1 argument of subclass is an instance of class |
(domain subclass 2 Class) | Merge.kif 130-130 | The number 2 argument of subclass is an instance of class |
(instance subclass BinaryPredicate) | Merge.kif 127-127 | subclass is an instance of binary predicate |
(instance subclass PartialOrderingRelation) | Merge.kif 128-128 | subclass is an instance of partial ordering relation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage subclass "%1 %n 是 %2 的 subclass") | chinese_format.kif 319-319 | |
(format EnglishLanguage subclass "%1 is %n a subclass of %2") | english_format.kif 324-324 | |
(subrelation subset subclass) | Merge.kif 5297-5297 | subset is a subrelation of subclass |
(termFormat ChineseLanguage subclass "子类") | domainEnglishFormat.kif 55683-55683 | |
(termFormat ChineseLanguage subclass "子类别") | chinese_format.kif 320-320 | |
(termFormat ChineseTraditionalLanguage subclass "子類") | domainEnglishFormat.kif 55682-55682 | |
(termFormat EnglishLanguage subclass "subclass") | domainEnglishFormat.kif 55681-55681 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(exists (?T) (and (subclass ?T HandToolBox) (manufacturer SortimoCorp ?T))) |
Cars.kif 5112-5115 | There exists an agent such that the agent is a subclass of tool box and the maker of Sortimo Corporation is the agent |
appearance as argument number 0 |
![]() |
![]() |
![]() |