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 2829-2833 | |
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 2826-2826 | Le nombre 1 argument de knows est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2827-2827 | Le nombre 2 argument de knows est une instance de formule |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2824-2824 | knows est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2823-2823 | knows est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2825-2825 | knows est une sous-relation de inScopeOfInterest |
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 12182-12188 | |
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 12987-12993 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12980-12985 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25873-25885 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11995-12002 | |
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 12168-12175 | |
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 865-873 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13004-13009 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13259-13265 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13030-13043 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13571-13579 | |
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 |