PartialValuedRelation(partial valued relation) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14616-14616 | Series volume is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24414-24414 | Substring fn is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5931-5931 | Terminal node is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8410-8410 | Time interval is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8949-8949 | Week fn is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3031-3031 | acronym is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2432-2432 | agent is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3421-3421 | agent name is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 697-697 | agreement adoption date is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 757-757 | agreement effective during is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23206-23206 | alias is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7701-7701 | altitude is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24167-24167 | ancestor organization is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1313-1313 | area of operation is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13771-13771 | atomic number is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13085-13085 | attends is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5357-5357 | average is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16502-16502 | brother is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 45-45 | catalog item is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2194-2194 | coding is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6494-6494 | conjugate is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16094-16094 | connected engineering components is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1016-1016 | contains is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7714-7714 | customer is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2443-2443 | destination is an instance of partial valued relation |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |