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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tube

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 16214-16217
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 16210-16210 Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16212-16212 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 4854-4854 British Motors is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4734-4734 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 5166-5166 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 4924-4924 Ford is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4501-4501 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 4476-4476 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4580-4580 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4505-4505 Holden Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5158-5158 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 19725-19729
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 15015-15023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29918-29924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8543-8556


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