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 16263-16266
(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 16259-16259	法人は Business の subclass では %n
(subclass Corporation LegalAgent)	Merge.kif 16261-16261	法人は LegalAgent の subclass では %n

appearance as argument number 2

(instance ATandTCorp Corporation)	ComputingBrands.kif 2122-2122	ATandTCorp は法人の instance では %n
(instance AbbVie Corporation)	Medicine.kif 2966-2966	AbbVie は法人の instance では %n
(instance AbbottLaboratories Corporation)	Medicine.kif 3851-3851	AbbottLaboratories は法人の instance では %n
(instance AdobeComputerCorp Corporation)	ComputingBrands.kif 2938-2938	Adobe は法人の instance では %n
(instance AlphabetCorporation Corporation)	ComputingBrands.kif 15-15	Alphabet は法人の instance では %n
(instance AppleComputerCorporation Corporation)	ComputingBrands.kif 14-14	Apple は法人の instance では %n
(instance AstraZeneca Corporation)	Medicine.kif 4795-4795	AstraZeneca は法人の instance では %n
(instance BioNTech Corporation)	Medicine.kif 2945-2945	BioNTech は法人の instance では %n
(instance BritishMotorCorp Corporation)	Cars.kif 4831-4831	BritishMotorCorp は法人の instance では %n
(instance BritishSeagullCorp Corporation)	Cars.kif 4711-4711	BritishSeagullCorp は法人の instance では %n
(instance ByteDance Corporation)	ComputingBrands.kif 4596-4596	ByteDance は法人の instance では %n
(instance CosworthCorp Corporation)	Cars.kif 5143-5143	CosworthCorp は法人の instance では %n
(instance EBay Corporation)	ComputingBrands.kif 4660-4660	EBay は法人の instance では %n
(instance FacebookCorporation Corporation)	ComputingBrands.kif 68-68	Facebook は法人の instance では %n
(instance FitbitCompany Corporation)	Medicine.kif 4465-4465	FitbitCompany は法人の instance では %n
(instance FordCorporation Corporation)	Cars.kif 4901-4901	FordCorporation は法人の instance では %n
(instance GeneralMotorsCorp Corporation)	Cars.kif 4478-4478	GeneralMotorsCorp は法人の instance では %n
(instance GlaxoSmithKline Corporation)	Medicine.kif 2960-2960	GlaxoSmithKline は法人の instance では %n
(instance GoogleCorporation Corporation)	ComputingBrands.kif 16-16	GoogleCorporation は法人の instance では %n
(instance HarleyDavidson Corporation)	Cars.kif 4453-4453	HarleyDavidson は法人の instance では %n
(instance HarleyDavidsonCorp Corporation)	Cars.kif 4557-4557	HarleyDavidsonCorp は法人の instance では %n
(instance HoldenCorporation Corporation)	Cars.kif 4482-4482	HoldenCorporation は法人の instance では %n
(instance IconMotorcyleEquipmentCorporation Corporation)	Cars.kif 5135-5135	IconMotorcyleEquipmentCorporation は法人の instance では %n
(instance JohnsonAndJohnson Corporation)	Medicine.kif 2942-2942	JohnsonAndJohnson は法人の instance では %n
(instance Merck Corporation)	Medicine.kif 2957-2957	Merck は法人の instance では %n

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

accountHolder FinancialAccount and 認識エージェント認識エージェントは法人の instance では %n FinancialAccount は CorporateAccount の instance では %n

consequent

(=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation))	Mid-level-ontology.kif 19753-19757	コンテストは BusinessCompetition の instance では %n contestParticipant コンテスト and AutonomousAgent AutonomousAgent は法人の instance では %n
(=> (instance ?Bond CorporateBond) (exists (?Agent) (and (instance ?Agent Corporation) (issuedBy ?Bond ?Agent))))	FinancialOntology.kif 2380-2385	証明書は CorporateBond の instance では %n 認識エージェント認識エージェントは法人の instance では %n issuedBy 証明書 and 認識エージェント
(=> (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 15043-15051	コレクションは Industry の instance では %n 物理物理 and クラス物理はコレクションの member では %n 物理はコレクションの member では %n クラスは法人の subclass では %n 物理はクラスの immediate のインスタンスでは %n 物理はクラスの immediate のインスタンスでは %n
(=> (instance ?NUMBER AccountNumber) (exists (?CORPORATION ?AGENT ?HUMAN) (and (instance ?CORPORATION Corporation) (instance ?AGENT AutonomousAgent) (uniqueIdWithRespectTo ?CORPORATION ?HUMAN ?NUMBER))))	Mid-level-ontology.kif 29954-29960	記号文字列は AccountNumber の instance では %n 物理エンティティー and 物理物理は法人の instance では %n エンティティーは AutonomousAgent の instance では %n uniqueIdWithRespectTo 物理, 物理 and 記号文字列
(=> (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 8571-8584	コレクションは UnionOrganization の instance では %n AutonomousAgent 認識エージェント認識エージェントはコレクションの member では %n AutonomousAgent は法人の instance では %n AutonomousAgent は認識エージェントを employs %n{ない} AutonomousAgent AutonomousAgent は Industry の instance では %n AutonomousAgent は AutonomousAgent の member では %n AutonomousAgent は認識エージェントを employs %n{ない}

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: