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 est une sous-classe de CommissionedOfficerRank

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


No TPTP formula. May not be expressible in strict first order. Military.kif 483-483 USMilitaryRankO1 est une instance de CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. Military.kif 493-493 USMilitaryRankO2 est une instance de CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. Military.kif 503-503 USMilitaryRankO3 est une instance 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 est disjointement decompos� en 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