| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7570-7571 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7572-7572 | The number 1 argument of headquarters of organization is an instance of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7573-7573 | The number 2 argument of headquarters of organization is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7574-7574 | headquarters of organization is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7575-7575 | headquarters of organization is a subrelation of located |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3622-3622 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3621-3621 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3620-3620 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27732-27732 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27731-27731 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27730-27730 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5559-5559 | The headquarters of Aetna is in connecticut |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4805-4805 | The headquarters of AstraZeneca is in England |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4736-4736 | The headquarters of British Seagull corp is in united kingdom |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4608-4608 | The headquarters of ByteDance is in Beijing |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2274-2274 | The headquarters of CCP is in china |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5167-5167 | The headquarters of Cosworth Corporation is in England |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4674-4674 | The headquarters of eBay is in california |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4503-4503 | The headquarters of General Motors is in united states |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4584-4584 | The headquarters of Harley Davidson is in united states |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4506-4506 | The headquarters of Holden Corporation is in australia |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4408-4408 | The headquarters of LabCorp is in north carolina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4555-4555 | The headquarters of Netflix Corp. is in california |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5015-5015 | The headquarters of Peterbilt is in texas |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4586-4586 | The headquarters of Pro Publica Inc. is in new york city united states |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4718-4718 | The headquarters of Rover group is in united kingdom |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4845-4845 | The headquarters of Simmons corp is in australia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5115-5115 | The headquarters of Sortimo Corporation is in germany |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5191-5191 | The headquarters of Walmart is in arkansas |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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