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 6545-6550 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6540-6540 | The number 1 argument of per is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6541-6541 | The number 2 argument of per is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6538-6538 | Per is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6539-6539 | Per is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6543-6543 | The range of per is an instance of function quantity |
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 6552-6552 | Density is a subrelation of per |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6564-6564 | Speed is a subrelation of per |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45085-45085 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45084-45084 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45083-45083 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1430-1430 | The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13166-13170 | 1.0 Square mile(s) is equal to the per of 1.0 mile(s) and 1.0 mile(s) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13176-13180 | 1.0 Square yard(s) is equal to the per of 1.0 yard length(s) and 1.0 yard length(s) |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 439-439 | The per of 0.04 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of abrin toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 310-310 | The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 325-325 | The per of 0.001 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of botulinum toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1831-1831 | The per of 23.0 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 431-431 | The per of 3.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of ricin toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 586-586 | The per of 100.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of sarin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1330-1330 | The per of 0.002 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of shiga toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 582-582 | The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1431-1431 | The per of 0.02 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1836-1836 | The per of 5.2 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of t2 toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 599-599 | The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX |
![]() |
![]() |