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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Piedmont
Piedmont(piedmont)
more pictures...
Piedmont, Piemonte

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4197-4197
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6768-6768
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7557-7557
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7558-7558
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7559-7559
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7560-7560
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7561-7561
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7562-7562
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7563-7563
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7564-7564
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7565-7565
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7566-7566
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7570-7570
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7567-7567
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7568-7568
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7569-7569
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7571-7571
No TPTP formula. May not be expressible in strict first order. Geography.kif 4196-4196 Piedmont is a subclass of land area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45810-45810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45809-45809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45808-45808

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4206-4216
No TPTP formula. May not be expressible in strict first order. Geography.kif 4199-4204


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