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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16367-16370
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5934-5934
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6310-6310
No TPTP formula. May not be expressible in strict first order. Merge.kif 16363-16363 Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16365-16365 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 2967-2967 AbbVie is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3854-3854 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 4802-4802 AstraZeneca is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2946-2946 BioNTech is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4907-4907 British Motors is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4787-4787 British Seagull corp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4591-4591 ByteDance is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5219-5219 Cosworth Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4655-4655 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 4472-4472 Fitbit is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4977-4977 Ford is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4554-4554 General Motors is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2961-2961 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 4529-4529 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4633-4633 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4558-4558 Holden Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5211-5211 Icon Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2943-2943 JohnsonAndJohnson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2958-2958 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 1020-1024 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 21297-21301
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2397-2402
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16389-16397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31822-31828
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9750-9763


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