|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14615-14615 | Series volume is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24413-24413 | 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 8432-8432 | Time interval is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8971-8971 | 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 23205-23205 | alias is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7723-7723 | altitude is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24166-24166 | 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 13793-13793 | atomic number is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13107-13107 | 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 16524-16524 | 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 6493-6493 | conjugate is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16116-16116 | 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 7713-7713 | 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 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners