contraryAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1504-1506 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 459-462 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 68-70 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 78-81 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 457-457 | 相反属性 的 1 数量 是 属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 455-455 | 相反属性 是 谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 456-456 | 相反属性 是 不定次元关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 283-283 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 288-288 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 164-164 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 58-58 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1984-1984 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 116-116 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 367-367 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 99-99 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 184-184 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 171-171 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 92-92 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 284-284 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17010-17010 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17009-17009 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17008-17008 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 114-114 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 133-133 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 470-474 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14979-14990 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2332-2343 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16921-16929 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 464-468 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 470-474 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18143-18145 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17073-17073 | 以上 是 下面 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4475-4475 | AccountDeactivated 是 AccountActive 的相反 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2803-2803 | AcidicPH 是 BasicPH 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 522-522 | AppraisalAsBeingDisliked 是 AppraisalAsBeingLiked 的相反 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13607-13607 | 听得见 是 Inaudible 的相反 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 336-336 | 威权政权 是 多党民主 的相反 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 391-391 | 宽规 是 标准规 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22232-22232 | 平民 是 军人 的相反 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4960-4960 | Clockwise 是 CounterClockwise 的相反 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 675-675 | 电导率 是 抵抗力 的相反 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 435-435 | Conscious 是 无意识 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1638-1638 | 容器满了 是 空容器 的相反 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18093-18093 | 死 是 活的 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29438-29438 | DeviceDamaged 是 DeviceNormal 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3644-3644 | 设备上 是 设备关闭 的相反 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3645-3645 | 设备打开 是 设备关闭 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25572-25572 | Dirty 是 Clean 的相反 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8656-8656 | 下药 是 清醒 的相反 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17991-17991 | 干 是 潮湿 的相反 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18190-18190 | 胚胎 是 幼虫 的相反 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16985-16985 | 假 是 真正 的相反 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 285-285 | 联邦政府 是 威权政权 的相反 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 284-284 | 联邦政府 是 统一规则 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1849-1849 | FeelingAlert 是 FeelingTired 的相反 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1782-1782 | FeelingAtEase 是 FeelingRestless 的相反 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |