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 15068-15071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5936-5936
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6312-6312
No TPTP formula. May not be expressible in strict first order. Merge.kif 15064-15064 Corporation is a subclass of Business
No TPTP formula. May not be expressible in strict first order. Merge.kif 15066-15066 Corporation is a subclass of LegalAgent

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2089-2089 ATandTCorp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2897-2897 Adobe is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 16-16 Alphabet is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 15-15 Apple is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4869-4869 British Motors is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4749-4749 British Seagull corp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5181-5181 Cosworth Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 64-64 Facebook is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4939-4939 Ford is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4509-4509 General Motors is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 17-17 GoogleCorporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4484-4484 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4595-4595 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4513-4513 Holden Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5173-5173 Icon Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 47-47 Microsoft is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4730-4730 RoverGroup is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4857-4857 SimmonsCorp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4481-4481 Snap-on Tools is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5128-5128 Sortimo Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15073-15073 Manufacturer is a subclass of corporation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15086-15086 Mercantile organization is a subclass of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5029-5029 Peterbilt is a subclass of corporation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1068-1068
No TPTP formula. May not be expressible in strict first order. english_format.kif 1352-1352

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 972-976 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 16264-16268
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2321-2326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11753-11763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26164-26170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7433-7446


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