Birth
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2904-2904 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10214-10214 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1653-1653 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5883-5883 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10212-10212 | 子類 Birth and OrganismProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24007-24007 | 子類 Birth and Removing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24042-24042 | 相關的內部概念 生物學概念 and Birth |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1076-1076 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1363-1363 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 754-754 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 286-286 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 289-289 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2438-2438 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 706-706 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 291-291 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 325-325 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 775-775 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 290-290 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18225-18231 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18203-18209 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24018-24027 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10219-10226 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 250-264 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24009-24016 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |