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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Appointing

 Sigma KEE - Appointing
Appointing(任命)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1037-1040
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2938-2938
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3041-3041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1036-1036 子類 任命 and Declaring

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1372-1372 子類 Coronation and 任命
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8034-8034
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8033-8033
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8032-8032

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 149-149 域 appointedPosition, 1 and 任命

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1042-1055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1057-1063