TreeView Knowledge Base Browser - areaOfResponsibility

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22931-22935
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22928-22928	域責任範圍, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22930-22930	域責任範圍, 3 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22929-22929	域子類責任範圍, 2 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22927-22927	例責任範圍 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	english_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1876-1876
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 56-56
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8298-8298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8297-8297
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8296-8296