| 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 14672-14672 | |
| 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 14671-14671 | 人 是 人类 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1918-1918 | JesusOfNazareth 是 人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14667-14667 | 人类 详尽无遗地 partition 成 人 和 女人 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 351-351 | 男孩 是 人 的 subclass |
| 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 16525-16525 | 哥哥 的 1 数量 是 人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23080-23080 | 祖父 的 2 数量 是 人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16594-16594 | 丈夫 的 1 数量 是 人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23103-23103 | 外甥 的 1 数量 是 人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23147-23147 | 继父 的 2 数量 是 人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23131-23131 | 叔叔 的 1 数量 是 人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16605-16605 | 妻子 的 2 数量 是 人 的 instance |
| 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 23026-23030 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23020-23024 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14674-14676 |
| 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 |
|
|
|