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 | The number 1 argument of knows is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2826-2826 | The number 2 argument of knows is an instance of formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2823-2823 | knows is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2822-2822 | knows is an instance of propositional attitude |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2824-2824 | knows is a subrelation of in scope of interest |
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 |
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 |