Pascal
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2532-2533 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6873-6875 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1233-1234 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10185-10185 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6870-6870 | 帕斯卡 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6871-6871 | 帕斯卡 是 国际单位制 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44628-44628 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44627-44627 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44626-44626 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5850-5855 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31678-31689 |
|
consequent |