TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14701-14702
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2722-2722
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2902-2902
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14700-14700	期刊是系列的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14691-14691	期刊编号函数的所得值是期刊的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14827-14827	杂志是期刊的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14804-14804	报纸是期刊的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1043-1043
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1297-1297
No TPTP formula. May not be expressible in strict first order.	french_format.kif 721-721
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 252-252
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 255-255
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2405-2405
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 673-673
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 257-257
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 291-291
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 742-742
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 256-256

appearance as argument number 3

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

Mid-level-ontology.kif 14689-14689

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1906-1910	如果实体 publishes 类在时间位置 holdsDuring 和那个类是期刊的 subclass，然后定期出版商是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14651-14665	如果有点系列是期刊的 subclass 和系列有点系列的第另一个正整数卷 equal 有点文本和系列那个有点系列的第正整数卷 equal 另一个有点文本和那个正整数是 greaterThan 那个另外正整数和过程是出版的 instance 和另一个过程是出版的 instance 和第三实体是有点文本的 instance 和第四实体是另一个有点文本的 instance 和那个第三实体是那个过程的 patient 和那个第四实体是那个另外过程的 patient 和那个过程的 date 是日和那个另外过程的 date 是另一个日，然后那个日的结束%n在那个另外日的结束before发生

consequent

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

Mid-level-ontology.kif 15841-15848