Text |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3550-3552 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15362-15365 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3008-3008 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3229-3229 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15361-15361 | 子類 Text and Artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15360-15360 | 子類 Text and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15359-15359 | 子類 Text and LinguisticExpression |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3013-3013 | 範圍子類 文獻 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14619-14619 | 範圍子類 系列卷 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14677-14677 | 子類 Article and Text |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2287-2287 | 子類 日曆 and Text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15633-15633 | 子類 Certificate and Text |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1025-1025 | 子類 主席出版物 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7870-7870 | 子類 基督教福音書 and Text |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 993-993 | 子類 教義 and Text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15381-15381 | 子類 事實文本 and Text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15409-15409 | 子類 虛構的文字 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14485-14485 | 子類 表格文字 and Text |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 921-921 | 子類 聯合出版物 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14472-14472 | 子類 標籤 and Text |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 3012-3012 | 子類 LiveTestUpdate and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 694-694 | 子類 歌詞 and Text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | 子類 MotionPicture and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14420-14420 | 子類 音樂文本 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14924-14924 | 子類 敘述文本 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 705-705 | 子類 段 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9265-9265 | 子類 Prescription and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14645-14645 | 子類 Series and Text |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4222-4222 | 子類 Spam and Text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15586-15586 | 子類 Summary and Text |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3034-3034 | 子類 條約文件 and Text |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1038-1038 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16607-16607 | 域 註冊項目, 1 and Text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15477-15477 | 域子類 編輯者, 2 and Text |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15487-15487 | 域子類 發布, 2 and Text |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1894-1898 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 742-751 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 938-943 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15367-15372 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15374-15379 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18224-18228 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 717-726 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8467-8474 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 931-936 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3574-3582 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12854-12859 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15921-15927 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12689-12695 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15590-15595 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1514-1520 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 679-688 |
statement |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3309-3315 | 有目的 iBookstore and ?D 例 ?D and 下載 儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?T |