Abstract
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1670-1670 | Abstrait est disjointement decompos� en quantit�, attribut, relation, proposition , + liste |
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 | Abstrait est une sous-classe de entit� |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | Attribut est une sous-classe de abstrait |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | Liste est une sous-classe de abstrait |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1942-1942 | ProcessTask est une sous-classe de abstrait |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3555-3555 | Proposition est une sous-classe de abstrait |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1694-1694 | Quantit� est une sous-classe de abstrait |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | Relation est une sous-classe de abstrait |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | Ensemble ou classe est une sous-classe de abstrait |
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 | Le nombre 1 argument de abstractCounterpart est une instance de abstrait |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22795-22795 | Le nombre 1 argument de abstractPart est une instance de abstrait |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22796-22796 | Le nombre 2 argument de abstractPart est une instance de abstrait |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1661-1661 | Le nombre 3 argument de achievement est une instance de abstrait |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1647-1647 | Le nombre 1 argument de benchmark est une instance de abstrait |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 83-83 | Le nombre 2 argument de offers est une instance de abstrait |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | Entit� est compl�tement d�compos� en physique + abstrait |