Atom
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1606-1608 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1109-1111 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 185-186 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 220-222 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 244-244 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2110-2110 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1649-1649 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1108-1108 | Atom is a subclass of elemental substance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21669-21669 | Free atom is a subclass of atom |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 821-821 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 844-844 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 497-497 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 30-30 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 33-33 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2182-2182 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 449-449 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 35-35 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 34-34 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 64-64 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 518-518 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 34-34 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28812-28816 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27478-27482 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28918-28922 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28112-28116 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27561-27565 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27809-27813 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28745-28749 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28206-28210 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28952-28956 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27318-27322 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28710-28714 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27334-27338 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27840-27844 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28064-28068 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28180-28184 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27592-27596 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28969-28973 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27353-27357 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28242-28246 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27544-27548 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27666-27670 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27712-27716 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27743-27747 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28935-28939 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28390-28394 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3414-3429 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13778-13790 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21713-21728 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21734-21742 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15670-15679 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1138-1143 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21688-21703 |
|