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 Appointing e' uma sub-classe de Declarar

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1372-1372 Coronation e' uma sub-classe de Appointing
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 O argumento numero 1 de appointedPosition e' uma instancia de Appointing

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