TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 876-878
No TPTP formula. May not be expressible in strict first order.	Dining.kif 879-879	contestObject 的 1 数量是比赛的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 880-880	contestObject 的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 881-881	contestObject 的 3 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 875-875	contestObject 是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3090-3090
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3089-3089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3088-3088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65797-65797

antecedent

No TPTP formula. May not be expressible in strict first order.

Dining.kif 883-896

consequent

No TPTP formula. May not be expressible in strict first order.

Dining.kif 900-909