Abstract |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1670-1670 | 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1705-1707 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1672-1676 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 306-310 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9869-9869 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10352-10352 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10353-10353 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10354-10354 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | 子類 Abstract and Entity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | 子類 Attribute and Abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | 子類 List and Abstract |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1942-1942 | 子類 流程任務 and Abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3555-3555 | 子類 Proposition and Abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1694-1694 | 子類 Quantity and Abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | 子類 Relation and Abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | 子類 SetOrClass and Abstract |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 853-853 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 908-908 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 529-529 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 60-60 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 63-63 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2214-2214 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 481-481 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 65-65 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 96-96 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 550-550 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 64-64 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6111-6111 | 域 abstractCounterpart, 1 and Abstract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22795-22795 | 域 抽象的部分, 1 and Abstract |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22796-22796 | 域 抽象的部分, 2 and Abstract |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1661-1661 | 域 成就, 3 and Abstract |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1647-1647 | 域 基準, 1 and Abstract |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 83-83 | 域 offers, 2 and Abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | 劃分 Entity, Physical and Abstract |