ReferenceBook - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14915-14918
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2919-2919
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2729-2729
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14913-14913	参考书是书的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14914-14914	参考书是事实文本的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14920-14920	字典是参考书的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1841-1841	JOPES手册是参考书的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1648-1648	TPFDD文件是参考书的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49100-49100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49099-49099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49098-49098