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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrisonerOfWar

Sigma KEE - PrisonerOfWar
PrisonerOfWar(戰俘)

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 255-270
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2727-2727
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2913-2913
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2914-2914
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2915-2915
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 252-252 戰俘 and SocialRole
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 253-253 子屬性 戰俘 and 囚犯

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47432-47432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47431-47431
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47430-47430

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 274-280

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 285-296
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1249-1253


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