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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diplomaticRepresentationType
diplomaticRepresentationType

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4490-4493
No TPTP formula. May not be expressible in strict first order. Government.kif 4486-4486 域 外交代表類型, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Government.kif 4487-4487 域 外交代表類型, 2 and Position
No TPTP formula. May not be expressible in strict first order. Government.kif 4488-4488 域 外交代表類型, 3 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Government.kif 4485-4485 例 外交代表類型 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 748-748
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 747-747
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 746-746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19626-19626
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19625-19625
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19624-19624

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4499-4504
No TPTP formula. May not be expressible in strict first order. Government.kif 4639-4644
No TPTP formula. May not be expressible in strict first order. Government.kif 4546-4554
No TPTP formula. May not be expressible in strict first order. Government.kif 4651-4653
No TPTP formula. May not be expressible in strict first order. Government.kif 4517-4519

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4499-4504
No TPTP formula. May not be expressible in strict first order. Government.kif 4585-4593
No TPTP formula. May not be expressible in strict first order. Government.kif 4608-4610
No TPTP formula. May not be expressible in strict first order. Government.kif 4656-4658
No TPTP formula. May not be expressible in strict first order. Government.kif 4521-4527
No TPTP formula. May not be expressible in strict first order. Government.kif 4529-4535
No TPTP formula. May not be expressible in strict first order. Government.kif 4537-4544
No TPTP formula. May not be expressible in strict first order. Government.kif 4495-4497


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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