Abstract
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1670-1670 | Abstrato e' disjuntamente decomponivel em Quantidade, Atributo, Relacao, Proposicao, + Lista |
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 | Abstrato e' uma sub-classe de Entidade |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | Atributo e' uma sub-classe de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | Lista e' uma sub-classe de Abstrato |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1942-1942 | ProcessTask e' uma sub-classe de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3555-3555 | Proposicao e' uma sub-classe de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1694-1694 | Quantidade e' uma sub-classe de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | Relacao e' uma sub-classe de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | Conjunto ou Classe e' uma sub-classe de Abstrato |
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 | O argumento numero 1 de abstractCounterpart e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22795-22795 | O argumento numero 1 de abstractPart e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22796-22796 | O argumento numero 2 de abstractPart e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1661-1661 | O argumento numero 3 de achievement e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1647-1647 | O argumento numero 1 de benchmark e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 83-83 | O argumento numero 2 de offers e' uma instancia de Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 816-816 | O conceito Entidade e' completamente decomposto em Fisico + Abstrato |