PerFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2476-2479 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6635-6640 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1169-1173 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6630-6630 | O argumento numero 1 de PerFn e' uma instancia de Quantidade Fisica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6631-6631 | O argumento numero 2 de PerFn e' uma instancia de Quantidade Fisica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6628-6628 | PerFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6629-6629 | PerFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6633-6633 | O contra-dominio de PerFn e' uma instancia de Funcao de Quantidade |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1935-1935 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1934-1934 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1933-1933 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6642-6642 | DensityFn e' uma sub-relacao de PerFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6654-6654 | SpeedFn e' uma sub-relacao de PerFn |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45102-45102 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45101-45101 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45100-45100 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 505-511 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1105-1119 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2936-2951 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 459-465 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 402-407 |
statement |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1439-1439 | effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13695-13699 | 1.0 SquareMile(s) e' igual a PerFn 1.0 Mile(s) and 1.0 Mile(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13705-13709 | 1.0 SquareYard(s) e' igual a PerFn 1.0 YardLength(s) and 1.0 YardLength(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 439-439 | lethalDose AbrinToxin and PerFn 0.04 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 310-310 | lethalDose Batrachotoxin and PerFn 2.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 325-325 | lethalDose BotulinumToxin and PerFn 0.001 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1840-1840 | lethalDose Diacetoxyscirpenol and PerFn 23.0 um milesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 431-431 | lethalDose RicinToxin and PerFn 3.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 586-586 | lethalDose Sarin and PerFn 100.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1339-1339 | lethalDose ShigaToxin and PerFn 0.002 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 582-582 | lethalDose Soman and PerFn 64.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1440-1440 | lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1845-1845 | lethalDose T2Toxin and PerFn 5.2 um milesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 599-599 | lethalDose VX and PerFn 15.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |