TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation abstractionLevel property)	QoSontology.kif 1736-1736	abstraction level is a subrelation of property
(instance abstractionLevel BinaryPredicate)	QoSontology.kif 1737-1737	abstraction level is an instance of binary predicate
(domain abstractionLevel 1 RealtimeSystem)	QoSontology.kif 1738-1738	The number 1 argument of abstraction level is an instance of realtime system
(domain abstractionLevel 2 AbstractionLevelAttribute)	QoSontology.kif 1739-1739	The number 2 argument of abstraction level is an instance of abstraction level attribute

appearance as argument number 2

(format EnglishLanguage abstractionLevel "the abstraction level of %1 is %2")	domainEnglishFormat.kif 2652-2652
(format ChineseTraditionalLanguage abstractionLevel "%1 的 abstraction level %n 是 %2 ")	domainEnglishFormat.kif 2653-2653
(format ChineseLanguage abstractionLevel "%1 的 abstraction level %n 是 %2 ")	domainEnglishFormat.kif 2654-2654
(termFormat EnglishLanguage abstractionLevel "abstraction level")	domainEnglishFormat.kif 5179-5179
(termFormat ChineseTraditionalLanguage abstractionLevel "抽象層次")	domainEnglishFormat.kif 5180-5180
(termFormat ChineseLanguage abstractionLevel "抽象层次")	domainEnglishFormat.kif 5181-5181