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 2100-2100 ATandTCorp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2909-2909 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 4827-4827 British Motors is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4707-4707 British Seagull corp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5139-5139 Cosworth Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 66-66 Facebook is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4897-4897 Ford is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4467-4467 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 4442-4442 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4553-4553 Harley Davidson is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4471-4471 Holden Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5131-5131 Icon Corporation is an instance of corporation
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 49-49 Microsoft is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4688-4688 RoverGroup is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4815-4815 SimmonsCorp is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 4439-4439 Snap-on Tools is an instance of corporation
No TPTP formula. May not be expressible in strict first order. Cars.kif 5086-5086 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 4987-4987 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 962-966 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 17535-17539
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2302-2307
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12742-12752
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28137-28143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8251-8264


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