more pictures...
| 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 1801-1803 | |
| 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 11231-11231 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11230-11230 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11235-11235 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11234-11234 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11233-11233 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10070-10070 | |
| 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 11236-11236 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1799-1799 | 子類 InternalAttribute and Attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2806-2806 | 例 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. | Economy.kif 922-922 | 例 Capitalist and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21214-21214 | 例 化學平衡 and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 892-892 | 例 Communist 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 31115-31115 | 例 DeviceDamaged and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31090-31090 | 例 DeviceNormal and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17757-17757 | 例 流體 and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23240-23240 | 例 不混溶 and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23229-23229 | 例 混溶的 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 17910-17910 | 例 易彎的 and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6647-6647 | 例 Profitable and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17923-17923 | 例 硬性 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 1697-1697 | 劃分 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 228-228 | 子類 algebro微分屬性 and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 724-724 | 子類 自主性 and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 710-710 | 子類 反彈性 and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2588-2588 | 子類 生物多樣性屬 and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18195-18195 | 子類 BiologicalAttribute and InternalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21252-21252 | 子類 易碎性屬性 and InternalAttribute |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|