No TPTP formula. May not be expressible in strict first order. | Merge.kif 2205-2205 | Total valued relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2206-2206 | Total valued relation is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2379-2379 | Partial ordering relation is a subclass of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6473-6473 | Unit of measure multiplier is a subclass of total valued relation |
![]() |