Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Corporation

Sigma KEE - Corporation
Corporation(corporation)
Bollywood, Boy_Scouts_of_America, Disneyland, East_India_Company, FCS, FDIC, FHLMC, FNMA, FSB, Fannie_Mae, Farm_Credit_System, Federal_Deposit_Insurance_Corporation, Federal_Home_Loan_Mortgage_Corporation, Federal_National_Mortgage_Association, Fleet_Street, Freddie_Mac, Hollywood, Ld., Levi's, Ltd., MSB, Marineland, PX, REIT, Real_Estate_Investment_Trust, Walt_Disney_World, accounting_firm, acquirer, affairs, agribusiness, agriculture, aluminum_business, aluminum_industry, amusement_park, apparel_industry, armorer, armourer, arms_industry, auction_house, auto_company, auto_maker, auto_manufacturer, automaker, automobile_industry, bank_holding_company, banking_industry, banking_system, barbershop, barrelhouse, bazaar...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3662-3664
No TPTP formula. May not be expressible in strict first order. Merge.kif 16192-16195
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5935-5935
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6311-6311
No TPTP formula. May not be expressible in strict first order. Merge.kif 16188-16188 Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16190-16190 Corporation is a subclass of legal agent

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2122-2122 AT&T corp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2966-2966 AbbVie is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3851-3851 Abbott is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2938-2938 Adobe is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 15-15 Alphabet is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 14-14 Apple is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4795-4795 AstraZeneca is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2945-2945 BioNTech is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4846-4846 British Motors is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4726-4726 British Seagull corp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4596-4596 ByteDance is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5158-5158 Cosworth Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4660-4660 EBay is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 68-68 Facebook is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4465-4465 Fitbit is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4916-4916 Ford is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4493-4493 General Motors is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2960-2960 GlaxoSmithKline is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 16-16 Google corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4468-4468 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4572-4572 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4497-4497 Holden Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5150-5150 Icon Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2942-2942 JohnsonAndJohnson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2957-2957 Merck is an instance of corporation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1018-1022 A cognitive agent holds account a financial account and the cognitive agent is an instance of corporation if and only if the financial account is an instance of corporate account

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19726-19730
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2380-2385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15016-15024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29930-29936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8544-8557


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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