TreeView Knowledge Base Browser - Industry

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Industry

Industry(行業)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15010-15011
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6628-6628
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15009-15009	子類行業 and Collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29899-29899
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29898-29898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29897-29897

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 15015-15023

例 Collection and 行業
Physical Physical and Class 會員 Physical and Collection 會員 Physical and Collection 子類 Class and Corporation 立即實例 Physical and Class 立即實例 Physical and Class

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2717-2728	例 Collection and Organization attribute Collection and 造紙業 AutonomousAgent Process and CorpuscularObject 例 AutonomousAgent and 行業會員 AutonomousAgent and Collection 例 Process and Manufacture agent Process and AutonomousAgent 患者 Process and CorpuscularObject 材料紙 and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8543-8556	例 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