TreeView Knowledge Base Browser - DiplomaticAgent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DiplomaticAgent

Sigma KEE - DiplomaticAgent

DiplomaticAgent(外交代表)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4402-4406
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8452-8452
No TPTP formula. May not be expressible in strict first order.	Government.kif 4400-4400	例外交代表 and 外國服務職位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4413-4413	子屬性大使 and 外交代表
No TPTP formula. May not be expressible in strict first order.	Government.kif 4433-4433	子屬性 chargeD 業務 and 外交代表
No TPTP formula. May not be expressible in strict first order.	Government.kif 4427-4427	子屬性領事 and 外交代表
No TPTP formula. May not be expressible in strict first order.	Government.kif 4420-4420	子屬性總領事 and 外交代表
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19602-19602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19601-19601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19600-19600

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4582-4590	% Nation %3 子屬性 Position and 外交代表 Human 例 Human and Human 公民 Human and Nation Nation 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4621-4629	例 AutonomousAgent and Nation 例 AutonomousAgent and Nation 例 AutonomousAgent and Human attribute AutonomousAgent and Position 子屬性 Position and 外交代表 %１是對於％３給代理％２的 representative 代理 % AutonomousAgent %3

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4557-4563	GeopoliticalArea 是 GeopoliticalArea 的外交關西 Position 例 Position and 外國服務職位子屬性 Position and 外交代表 % GeopoliticalArea %3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4565-4571	GeopoliticalArea 是 GeopoliticalArea 的外交關西 Position 例 Position and 外國服務職位子屬性 Position and 外交代表 % GeopoliticalArea %3
No TPTP formula. May not be expressible in strict first order.	Government.kif 4408-4410	例 Attribute and 外國服務職位子屬性 Attribute and 外交代表

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