InternalAttribute
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1721-1722 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1806-1808 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 328-329 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11238-11238 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11237-11237 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11242-11242 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11241-11241 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11240-11240 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10072-10072 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11244-11244 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11243-11243 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | 子類 InternalAttribute and Attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2799-2799 | 例 AcidicPH and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 699-699 | 例 不可知 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 717-717 | 例 無神論者 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19653-19653 | 例 化學平衡 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 737-737 | 例 自然神論者 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29488-29488 | 例 DeviceDamaged and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29463-29463 | 例 DeviceNormal and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17668-17668 | 例 流體 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21633-21633 | 例 不混溶 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21622-21622 | 例 混溶的 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 724-724 | 例 非教派個人 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17821-17821 | 例 易彎的 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17834-17834 | 例 硬性 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 363-363 | 例 Vacuum and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | 劃分 Attribute, InternalAttribute and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 674-674 | 範圍 BeliefGroupMemberFn and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 229-229 | 子類 algebro微分屬性 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 725-725 | 子類 自主性 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 711-711 | 子類 反彈性 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2600-2600 | 子類 生物多樣性屬 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18102-18102 | 子類 BiologicalAttribute and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19691-19691 | 子類 易碎性屬性 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 715-715 | 子類 無刷 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1853-1853 | 子類 設備狀態屬性 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 209-209 | 子類 方程屬性 and InternalAttribute |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |