TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2480-2482
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2477-2477	域中止發射, 2 and 起飛
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2476-2476	例中止發射 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2478-2478	範圍中止發射 and 起飛
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2479-2479	子關係中止發射 and 中止

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24-24
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23-23
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22-22
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2716-2716
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5082-5082
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5081-5081
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5080-5080