TreeView Knowledge Base Browser

appearance as argument number 1

(domain abstractionLevel 1 RealtimeSystem)	QoSontology.kif 1745-1745	The number 1 argument of abstraction level is an instance of realtime system
(domain abstractionLevel 2 AbstractionLevelAttribute)	QoSontology.kif 1746-1746	The number 2 argument of abstraction level is an instance of abstraction level attribute
(instance abstractionLevel BinaryPredicate)	QoSontology.kif 1744-1744	abstraction level is an instance of binary predicate
(subrelation abstractionLevel property)	QoSontology.kif 1743-1743	abstraction level is a subrelation of property

appearance as argument number 2

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