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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lowestDecileShareOfHouseholdIncomeInPeriod

 Sigma KEE - NonCommissionedOfficerRank
NonCommissionedOfficerRank(non commissioned officer rank)P.O., PO, SCPO, SMSgt, bombardier, drill_instructor, drill_master, enlisted_officer, noncom, noncommissioned_officer, petty_officer, senior_chief_petty_officer, senior_master_sergeant, warrant_officer

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


No TPTP formula. May not be expressible in strict first order. Military.kif 306-306 Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank
No TPTP formula. May not be expressible in strict first order. Military.kif 300-305
No TPTP formula. May not be expressible in strict first order. Military.kif 299-299 Non commissioned officer rank is a subclass of enlisted soldier rank

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


No TPTP formula. May not be expressible in strict first order. Military.kif 308-308 JuniorNCO rank is a subclass of non commissioned officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 311-311 SeniorNCO rank is a subclass of non commissioned officer rank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40709-40709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40708-40708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40707-40707

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 269-269 Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank


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