|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2069-2069 | has account is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 403-403 | has across variable is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3944-3944 | has purpose is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3979-3979 | has skill is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 410-410 | has through variable is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3713-3713 | headingWRT compass north is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3704-3704 | headingWRT magnetic north is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3695-3695 | headingWRT true north is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 261-261 | high altitude wind speed is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3880-3880 | holds during is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17445-17445 | holds obligation is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17425-17425 | holds right is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 993-993 | hole is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 628-628 | holiday time in area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23227-23227 | home address is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25017-25017 | home phone number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1646-1646 | hot season in area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3436-3436 | human name is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16568-16568 | husband is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 92-92 | immediate instance is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 150-150 | immediate subclass is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14369-14369 | inhabits is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7136-7136 | insured is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9693-9693 | interior part is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2413-2413 | involved in event is an instance of asymmetric 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