![]() |
![]() ![]() ![]()
|
![]() |
|
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 1108-1110 | |
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 2109-2109 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1648-1648 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1107-1107 | Atomo e' uma sub-classe de Substancia Elementar |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21959-21959 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 821-821 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 844-844 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 497-497 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 30-30 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 33-33 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2182-2182 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 449-449 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 35-35 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 34-34 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 64-64 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 518-518 | FreeAtom e' uma sub-classe de Atomo |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 34-34 | FreeAtom e' uma sub-classe de Atomo |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29128-29132 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27794-27798 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29234-29238 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28428-28432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27877-27881 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28125-28129 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29061-29065 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28522-28526 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29268-29272 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27634-27638 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29026-29030 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27650-27654 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28156-28160 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28380-28384 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28496-28500 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27908-27912 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29285-29289 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27669-27673 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28558-28562 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27860-27864 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27982-27986 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28028-28032 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28059-28063 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29251-29255 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28706-28710 | |
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 13833-13845 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22003-22018 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22049-22057 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15722-15731 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1137-1142 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21978-21993 |
|
![]() |
![]() |