|
|
   Relation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2160-2161 | Relacao e' disjuntamente decomponivel em Relacao Binaria, Relacao Ternaria, Relacao Quaternaria, Relacao Quinquenaria, + Relacao de aridade variavel |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1816-1819 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2165-2169 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 434-437 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2162-2162 | O conceito Relacao e' completamente decomposto em Predicado + Funcao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2163-2163 | O conceito Relacao e' completamente decomposto em Relacao Total + Relacao Parcial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | Relacao e' uma sub-classe de Abstrato |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2232-2232 | Relacao Binaria e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2558-2558 | InheritableRelation e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | IntentionalRelation e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 965-965 | PPPBasedEconomicValuation e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2223-2223 | Relacao Parcial e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3339-3339 | Predicado e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2564-2564 | Relacao de Probabilidade e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2861-2861 | Relacao Quaternaria e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2868-2868 | Relacao Quinquenaria e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3533-3533 | Relacao estendida a Quantidades e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | Relacao com Valor Unico e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | Relacao Espacial e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2663-2663 | Relacao Temporal e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2854-2854 | Relacao Ternaria e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | Relacao Total e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3522-3522 | Relacao de aridade variavel e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 888-888 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 978-978 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 564-564 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 94-94 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 97-97 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2249-2249 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 516-516 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 99-99 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31377-31377 | O argumento numero 2 de applicableRelation e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 412-412 | O argumento numero 1 de disjointRelation e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 413-413 | O argumento numero 2 de disjointRelation e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 208-208 | O argumento numero 1 de domain e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 230-230 | O argumento numero 1 de domainSubclass e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2069-2069 | O argumento numero 1 de exactCardinality e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2193-2193 | O argumento numero 1 de maxCardinality e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2156-2156 | O argumento numero 1 de minCardinality e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 171-171 | O argumento numero 1 de subrelation e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 172-172 | O argumento numero 2 de subrelation e' uma instancia de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 361-361 | O argumento numero 1 de valence e' uma instancia de Relacao |
| appearance as argument number 4 |
|
|
| 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 |
|
|
|