protonNumber |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23302-23303 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23300-23300 | The number 1 argument of proton number is an instance of pure substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23301-23301 | The number 2 argument of proton number is an instance of positive integer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23297-23297 | proton number is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23298-23298 | proton number is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23299-23299 | proton number is an instance of total valued relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2079-2079 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2078-2078 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2077-2077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47878-47878 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47877-47877 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47876-47876 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23305-23320 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7438-7446 |
|
![]() |
![]() |