InternalAttribute more pictures... |
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 19626-19626 | 例 化學平衡 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 29437-29437 | 例 DeviceDamaged and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29412-29412 | 例 DeviceNormal and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17589-17589 | 例 流體 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21606-21606 | 例 不混溶 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21595-21595 | 例 混溶的 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 17742-17742 | 例 易彎的 and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17755-17755 | 例 硬性 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 18023-18023 | 子類 BiologicalAttribute and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19664-19664 | 子類 易碎性屬性 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 1860-1860 | 子類 設備狀態屬性 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 |