TreeView Knowledge Base Browser - DairyProductExceptFrozenManufacturing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 1586-1588
No TPTP formula. May not be expressible in strict first order.	naics.kif 1584-1584	子屬性除冷凍生產外的乳製品 and 乳製品製造業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 1603-1603	子屬性奶酪製造 and 除冷凍生產外的乳製品
No TPTP formula. May not be expressible in strict first order.	naics.kif 1597-1597	子屬性酪奶油製造 and 除冷凍生產外的乳製品
No TPTP formula. May not be expressible in strict first order.	naics.kif 1609-1609	子屬性乾凝和蒸發乳製品製造 and 除冷凍生產外的乳製品
No TPTP formula. May not be expressible in strict first order.	naics.kif 1590-1590	子屬性液態奶製造 and 除冷凍生產外的乳製品
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18390-18390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18389-18389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18388-18388