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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompanyGradeRank

 Sigma KEE - CompanyGradeRank
CompanyGradeRank

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


No TPTP formula. May not be expressible in strict first order. Military.kif 332-338
No TPTP formula. May not be expressible in strict first order. Military.kif 331-331 CompanyGradeRank e' uma sub-classe de CommissionedOfficerRank

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


No TPTP formula. May not be expressible in strict first order. Military.kif 483-483 USMilitaryRankO1 e' uma instancia de CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. Military.kif 493-493 USMilitaryRankO2 e' uma instancia de CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. Military.kif 503-503 USMilitaryRankO3 e' uma instancia de CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16134-16134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16133-16133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16132-16132

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 283-284 CommissionedOfficerRank e' disjuntamente decomponivel em FlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRank


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