|
|
   PartialOrderingRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1854-1855 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2370-2372 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 475-477 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2366-2366 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Anti-simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2367-2367 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Reflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2365-2365 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Transitiva |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22793-22793 | abstractPart e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8138-8138 | beforeOrEqual e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1699-1699 | coordinates e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17819-17819 | geometricPart e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1874-1874 | greaterThanOrEqualTo e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3293-3293 | initialList e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1857-1857 | lessThanOrEqualTo e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 915-915 | part e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 681-681 | subAttribute e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1289-1289 | subCollection e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14476-14476 | subLanguage e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3119-3119 | subList e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | subOrganization e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3751-3751 | subProcess e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 130-130 | subclass e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 170-170 | subrelation e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4518-4518 | subsumesContentClass e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4575-4575 | subsumesContentInstance e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7931-7931 | temporalPart e' uma instancia de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2374-2374 | Relacao totalmente Ordenada e' uma sub-classe de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 901-901 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1009-1009 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 577-577 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 107-107 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|