|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4545-4545 | diplomatic relations is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16937-16937 | direction is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 411-411 | disjoint relation is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4090-4090 | event partly located is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2457-2457 | experiencer is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2371-2371 | export partner is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16419-16419 | father is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2204-2204 | filename is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4390-4390 | hinders is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4308-4308 | hinders subclass is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8423-8423 | hostile forces is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16571-16571 | husband is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2659-2659 | import partner is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3105-3105 | in list is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2470-2470 | instrument is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 110-110 | inverse is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3278-3278 | key name is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23378-23378 | legal guardian is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2249-2249 | mime type is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17300-17300 | modal attribute is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16402-16402 | mother is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2481-2481 | origin is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9611-9611 | overlap partially is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2494-2494 | patient is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4209-4209 | penetrates 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