|
|
  Male
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18125-18125 | 男 是 女 的相反 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4019-4019 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18126-18127 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18124-18124 | 男 是 性别属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1394-1394 | 王 是 男 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1423-1423 | PrinceConsort 是 男 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35831-35831 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35830-35830 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35829-35829 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18105-18105 | 女 是所有的 性别属性 的 attributes |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 |
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 151-163 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 189-204 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16487-16491 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 354-359 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 357-390 | 年 是 那个 年EAR year 的 instance 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20218-20222 | 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 男 是 那个 客体 的 attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20241-20245 | 客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1250-1256 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1258-1265 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16432-16434 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14652-14654 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16456-16458 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1241-1248 | 对所有 ?AGENT， ?VOTER,， ， ?ELECTION， and 和 ?VOTING
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |
|
|
|