TreeView Knowledge Base Browser - ChairmanJCS

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ChairmanJCS

ChairmanJCS(主席JCs)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 918-919
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 912-912	主席JCs 是地位的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 917-917	主席JCs 是联合参谋长的 leader 职位
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 899-899	主席JCs 是联合工作人员的 leader 职位
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14040-14040
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14039-14039
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2764-2764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14038-14038

antecedent

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

MilitaryProcesses.kif 914-916

如果主席JCs 是客体的 attribute，
然后那个客体是联合参谋长的 member

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1582-1604	如果过程是运营计划的 instance 和施事体是那个过程的 agent，然后那个施事体是战斗指挥官的 instance 和有存在另一个过程和另一个施事体这样那个另外过程是要求的 instance 和那个另外施事体是那个另外过程的 agent 和主席JCs 是那个另外施事体的 attribute 和那个另外过程 causes 那个过程或那个施事体是统一指挥官的 instance 和有存在那个另外过程，那个施事体SUPER， and 和机构这样那个另外过程是要求的 instance 和那个施事体SUPER 是那个另外过程的 agent 和军事指挥官是那个施事体SUPER 的 attribute 和那个机构是对于 %3 的 subordinate 职位和那个机构是军事力量的 instance 和那个另外过程 causes 那个过程
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 964-971	如果实体是在线以上的 instance，然后有存在过程和施事体这样那个过程是签署协议的 instance 和主席JCs 是那个施事体的 attribute 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1034-1041	如果实体是主席出版物的 instance，然后有存在过程和施事体这样那个过程是管理的 instance 和主席JCs 是那个施事体的 attribute 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1046-1053	如果实体是主席出版物的 instance，然后有存在过程和施事体这样那个过程是签署协议的 instance 和主席JCs 是那个施事体的 attribute 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 930-937	如果实体是联合出版物的 instance，然后有存在过程和施事体这样那个过程是管理的 instance 和主席JCs 是那个施事体的 attribute 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient

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