No TPTP formula. May not be expressible in strict first order. | Merge.kif 5819-5819 | Graph element is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5832-5832 | Graph node is a subclass of graph element |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5842-5842 | Graph arc is a subclass of graph element |