TreeView Knowledge Base Browser - Utilities

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Utilities

Utilities(公用事業)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 925-927
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 817-817
No TPTP formula. May not be expressible in strict first order.	naics.kif 923-923	例公用事業 and 行業屬性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 980-980	子屬性發電輸配電 and 公用事業
No TPTP formula. May not be expressible in strict first order.	naics.kif 1042-1042	子屬性天然氣分配 and 公用事業
No TPTP formula. May not be expressible in strict first order.	naics.kif 1048-1048	子屬性水污水和其他系統 and 公用事業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61082-61082
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61081-61081
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61080-61080

antecedent

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

naics.kif 954-977

例 Collection and Organization attribute Collection and 公用事業
AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 例 Object and 污水患者 AutonomousAgent and Object 例 Object and Electron 例 Object and Water 例 Object and PureSubstance 能力 Combustion, 患者 and Object 會員 Process and Collection 例 AutonomousAgent and FinancialTransaction agent AutonomousAgent and Process 患者 AutonomousAgent and Object

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