Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Corporation
Corporation(法人财团)

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 16192-16195
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5935-5935
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6311-6311
No TPTP formula. May not be expressible in strict first order. Merge.kif 16188-16188 法人财团Businesssubclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16190-16190 法人财团LegalAgentsubclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2122-2122 ATandTCorp法人财团instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2966-2966 AbbVie法人财团instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3851-3851 AbbottLaboratories法人财团instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2938-2938 Adobe法人财团instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 15-15 Alphabet公司法人财团instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 14-14 苹果法人财团instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4795-4795 AstraZeneca法人财团instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2945-2945 BioNTech法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 4846-4846 BritishMotorCorp法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 4726-4726 BritishSeagullCorp法人财团instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4596-4596 ByteDance法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 5158-5158 CosworthCorp法人财团instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4660-4660 EBay法人财团instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 68-68 脸书法人财团instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4465-4465 FitbitCompany法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 4916-4916 FordCorporation法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 4493-4493 GeneralMotorsCorp法人财团instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2960-2960 GlaxoSmithKline法人财团instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 16-16 GoogleCorporation法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 4468-4468 HarleyDavidson法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 4572-4572 HarleyDavidsonCorp法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 4497-4497 HoldenCorporation法人财团instance
No TPTP formula. May not be expressible in strict first order. Cars.kif 5150-5150 IconMotorcyleEquipmentCorporation法人财团instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2942-2942 JohnsonAndJohnson法人财团instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2957-2957 Merck法人财团instance

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 有认知的主事 持有 account 金融账户那个 有认知的主事法人财团instance 若且唯若 那个 金融账户企业帐户instance

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19726-19730
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2380-2385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15016-15024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29930-29936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8544-8557


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