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 16284-16287
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 16280-16280 Corporation is a subclass of business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16282-16282 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 2954-2954 AbbVie is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3839-3839 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 4783-4783 AstraZeneca is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2933-2933 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 4596-4596 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 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 4453-4453 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 2948-2948 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 2930-2930 JohnsonAndJohnson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2945-2945 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 20644-20648
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2394-2399
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15872-15880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30847-30853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9244-9257


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