AtomicNucleus - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1611-1612
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1146-1147
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 189-190
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 225-226
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1145-1145	Atomic nucleus is a subclass of subatomic particle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 823-823
No TPTP formula. May not be expressible in strict first order.	english_format.kif 848-848
No TPTP formula. May not be expressible in strict first order.	french_format.kif 499-499
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 32-32
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 35-35
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2184-2184
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 451-451
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 66-66
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 520-520
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 36-36

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 1149-1156

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 1122-1131