PartTimePosition - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18720-18721
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18719-18719	例兼職職位 and Position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18713-18713	相反的屬性全職職位 and 兼職職位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20897-20897	子屬性執事 and 兼職職位
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44604-44604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44603-44603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44602-44602