| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7571-7572 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7573-7573 | 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 7574-7574 | 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 7575-7575 | headquarters of organization is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7576-7576 | 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 4728-4728 | 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 5159-5159 | 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 4495-4495 | The headquarters of General Motors is in united states |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4576-4576 | The headquarters of Harley Davidson is in united states |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4498-4498 | 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 5007-5007 | 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 4710-4710 | The headquarters of Rover group is in united kingdom |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4837-4837 | The headquarters of Simmons corp is in australia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5107-5107 | 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