knows |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1943-1945 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2828-2832 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 573-575 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2825-2825 | 知道 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2826-2826 | 知道 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2823-2823 | 知道 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2822-2822 | 知道 是 命题态度 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2824-2824 | 知道 是 感兴趣 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 139-139 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 140-140 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 91-91 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 159-159 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1918-1918 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 43-43 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 101-101 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 169-169 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 198-198 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 110-110 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 90-90 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 318-318 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 140-140 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32724-32724 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32723-32723 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 51-51 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 319-319 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1876-1888 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2834-2836 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2838-2840 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2763-2777 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6505-6529 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12136-12142 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1876-1888 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3449-3460 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4451-4461 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3665-3678 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5369-5379 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12941-12947 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12934-12939 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25840-25852 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11949-11956 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 577-587 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1260-1269 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 466-482 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12122-12129 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2181-2191 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2169-2179 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 872-880 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12958-12963 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13213-13219 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12984-12997 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13525-13533 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 684-690 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 56-64 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |