Man
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3439-3439 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14650-14650 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 577-577 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3160-3160 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3158-3158 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3159-3159 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14649-14649 | 子類 人 and Human |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1918-1918 | 例 JesusOfNazareth and 人 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14645-14645 | 劃分 Human, 人 and 女人 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 351-351 | 子類 男孩 and 人 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35903-35903 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35902-35902 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35901-35901 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16503-16503 | 域 哥哥, 1 and 人 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23081-23081 | 域 祖父, 2 and 人 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16572-16572 | 域 丈夫, 1 and 人 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23104-23104 | 域 外甥, 1 and 人 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23148-23148 | 域 繼父, 2 and 人 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23132-23132 | 域 叔叔, 1 and 人 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16583-16583 | 域 妻子, 2 and 人 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 65-84 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 59-63 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23027-23031 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23021-23025 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14652-14654 |
consequent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 450-456 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 438-444 |