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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoliceSergeant
PoliceSergeant(police sergeant)
more pictures...		buck_sergeant, police_sergeant, sergeant

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20937-20937
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7596-7596
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7597-7597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7594-7594
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7598-7598
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7599-7599
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20936-20936 Police sergeant is a subattribute of police officer

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46435-46435
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46434-46434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46433-46433


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