TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1680-1682
No TPTP formula. May not be expressible in strict first order.	Government.kif 1676-1676	域期限長度, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1677-1677	域期限長度, 2 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Government.kif 1678-1678	域期限長度, 3 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Government.kif 1675-1675	例期限長度 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2451-2451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2450-2450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2449-2449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57560-57560
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57559-57559
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57558-57558