Fabric | ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15902-15902 | 不相交的 Fabric and StationaryArtifact |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3609-3611 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15903-15908 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | 子類 Fabric and Artifact |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1886-1886 | Fabric 是 織物廠 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5430-5430 | 子類 毯 and Fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5449-5449 | 子類 棉織物 and Fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15166-15166 | 子類 窗簾 and Fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5373-5373 | 子類 皮革 and Fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5415-5415 | 子類 口袋 and Fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5345-5345 | 子類 地毯 and Fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5386-5386 | 子類 絲 and Fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5359-5359 | 子類 毛巾 and Fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5401-5401 | 子類 羊毛 and Fabric |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1054-1054 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1319-1319 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 732-732 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 263-263 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 266-266 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2416-2416 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 684-684 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 268-268 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 302-302 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 753-753 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 267-267 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25263-25274 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2457-2475 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 1944-1960 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 2085-2101 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25201-25212 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15927-15934 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13254-13259 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5618-5620 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5611-5616 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3655-3657 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26335-26341 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4230-4237 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6822-6827 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4127-4129 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3958-3969 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3675-3681 |
|
![]() |
![]() |