TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Corporation ChineseLanguage "这是一个有特别法律地位的 Organization，这个地位容许一群人以 CommercialAgent 的身份行事，这个安排让东主 (股东)避免负可能由这个机构运作所引起的很多责任。")	chinese_format.kif 3662-3664
(documentation Corporation EnglishLanguage "An Organization that has a special legal status that allows a group of persons to act as a CommercialAgent and that insulates the owners (shareholders) from many liabilities that might result from the corporation's operation.")	Merge.kif 16192-16195
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Stora_Kopparberg_1288.jpg")	pictureList.kif 5935-5935
(externalImage Corporation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5c/ Vereinigte_Ostindische_Compagnie_bond.jpg")	pictureList.kif 6311-6311
(subclass Corporation Business)	Merge.kif 16188-16188	子類 Corporation and Business
(subclass Corporation LegalAgent)	Merge.kif 16190-16190	子類 Corporation and LegalAgent

appearance as argument number 2

(instance ATandTCorp Corporation)	ComputingBrands.kif 2122-2122	例 ATandTCorp and Corporation
(instance AbbVie Corporation)	Medicine.kif 2966-2966	例 AbbVie and Corporation
(instance AbbottLaboratories Corporation)	Medicine.kif 3851-3851	例 AbbottLaboratories and Corporation
(instance AdobeComputerCorp Corporation)	ComputingBrands.kif 2938-2938	例 Adobe and Corporation
(instance AlphabetCorporation Corporation)	ComputingBrands.kif 15-15	例 Alphabet公司 and Corporation
(instance AppleComputerCorporation Corporation)	ComputingBrands.kif 14-14	例蘋果 and Corporation
(instance AstraZeneca Corporation)	Medicine.kif 4795-4795	例 AstraZeneca and Corporation
(instance BioNTech Corporation)	Medicine.kif 2945-2945	例 BioNTech and Corporation
(instance BritishMotorCorp Corporation)	Cars.kif 4846-4846	例 BritishMotorCorp and Corporation
(instance BritishSeagullCorp Corporation)	Cars.kif 4726-4726	例 BritishSeagullCorp and Corporation
(instance ByteDance Corporation)	ComputingBrands.kif 4596-4596	例 ByteDance and Corporation
(instance CosworthCorp Corporation)	Cars.kif 5158-5158	例 CosworthCorp and Corporation
(instance EBay Corporation)	ComputingBrands.kif 4660-4660	例 EBay and Corporation
(instance FacebookCorporation Corporation)	ComputingBrands.kif 68-68	例臉書 and Corporation
(instance FitbitCompany Corporation)	Medicine.kif 4465-4465	例 FitbitCompany and Corporation
(instance FordCorporation Corporation)	Cars.kif 4916-4916	例 FordCorporation and Corporation
(instance GeneralMotorsCorp Corporation)	Cars.kif 4493-4493	例 GeneralMotorsCorp and Corporation
(instance GlaxoSmithKline Corporation)	Medicine.kif 2960-2960	例 GlaxoSmithKline and Corporation
(instance GoogleCorporation Corporation)	ComputingBrands.kif 16-16	例 GoogleCorporation and Corporation
(instance HarleyDavidson Corporation)	Cars.kif 4468-4468	例 HarleyDavidson and Corporation
(instance HarleyDavidsonCorp Corporation)	Cars.kif 4572-4572	例 HarleyDavidsonCorp and Corporation
(instance HoldenCorporation Corporation)	Cars.kif 4497-4497	例 HoldenCorporation and Corporation
(instance IconMotorcyleEquipmentCorporation Corporation)	Cars.kif 5150-5150	例 IconMotorcyleEquipmentCorporation and Corporation
(instance JohnsonAndJohnson Corporation)	Medicine.kif 2942-2942	例 JohnsonAndJohnson and Corporation
(instance Merck Corporation)	Medicine.kif 2957-2957	例 Merck and Corporation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))

FinancialOntology.kif 1018-1022

CognitiveAgent 持有 account 金融賬戶例 CognitiveAgent and Corporation 例金融賬戶 and 企業帳戶

consequent

(=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation))	Mid-level-ontology.kif 19726-19730	例 Contest and 商業競爭 AutonomousAgent participates 在 Contest 例 AutonomousAgent and Corporation
(=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent))))	FinancialOntology.kif 2380-2385	例 Certificate and 公司債券 CognitiveAgent 例 CognitiveAgent and Corporation CognitiveAgent 是由 Certificate 的 issued
(=> (instance ?INDUSTRY Industry) (exists (?MEMB1 ?MEMB2 ?CLASS) (and (member ?MEMB1 ?INDUSTRY) (member ?MEMB2 ?INDUSTRY) (subclass ?CLASS Corporation) (immediateInstance ?MEMB1 ?CLASS) (immediateInstance ?MEMB2 ?CLASS))))	Mid-level-ontology.kif 15016-15024	例 Collection and 行業 Physical Physical and Class 會員 Physical and Collection 會員 Physical and Collection 子類 Class and Corporation 立即實例 Physical and Class 立即實例 Physical and Class
(=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))	Mid-level-ontology.kif 29930-29936	例 SymbolicString and AccountNumber Physical Entity and Physical 例 Physical and Corporation 例 Entity and AutonomousAgent SymbolicString 是 unique ID 對於 Physical 相對於 Physical
(=> (instance ?ORG UnionOrganization) (exists (?COLL ?MEMBER) (=> (member ?MEMBER ?ORG) (or (and (instance ?COLL Corporation) (employs ?COLL ?MEMBER)) (exists (?CORP) (and (instance ?COLL Industry) (member ?CORP ?COLL) (employs ?CORP ?MEMBER)))))))	Mid-level-ontology.kif 8544-8557	例 Collection and 工會組織 AutonomousAgent CognitiveAgent 會員 CognitiveAgent and Collection 例 AutonomousAgent and Corporation 採用 AutonomousAgent and CognitiveAgent AutonomousAgent 例 AutonomousAgent and 行業會員 AutonomousAgent and AutonomousAgent 採用 AutonomousAgent and CognitiveAgent

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

KB Term:			Term intersection

English Word: