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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sheriff

 Sigma KEE - Sheriff
Sheriff(郡治安官)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20967-20967
No TPTP formula. May not be expressible in strict first order. pictureList.kif 725-725
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20966-20966 子屬性 郡治安官 and 警官

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52535-52535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52534-52534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52533-52533


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