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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationalProcess

 Sigma KEE - OrganizationalProcess
OrganizationalProcess(机构性过程)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2942-2942
No TPTP formula. May not be expressible in strict first order. Merge.kif 10559-10560
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1695-1696
No TPTP formula. May not be expressible in strict first order. Merge.kif 10557-10557 机构性过程 是 有意图过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16287-16287 开始运营 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2248-2248 汽车配送系统 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16325-16325 停止运营 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10573-10573 选举 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2395-2395 出口 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10703-10703 Firing 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 932-932 创建 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10627-10627 雇佣 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10595-10595 加入一个机构 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16910-16910 劳工引人注目 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10667-10667 离开一个机构 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10848-10848 管理 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10833-10833 军事过程 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16300-16300 组织合并 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10772-10772 政治过程 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1375-1375 公共计划 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10579-10579 宗教过程 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16942-16942 转移位置 是 机构性过程 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1094-1094
No TPTP formula. May not be expressible in strict first order. english_format.kif 1399-1399
No TPTP formula. May not be expressible in strict first order. french_format.kif 772-772
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 304-304
No TPTP formula. May not be expressible in strict first order. terms-it.txt 307-307
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2456-2456

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3327-3327 税后收入 的 3 数量 是 机构性过程 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3347-3347 税前收入 的 3 数量 是 机构性过程 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3293-3293 赚的收入 的 3 数量 是 机构性过程 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3307-3307 税收递延收入 的 3 数量 是 机构性过程 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10562-10571


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