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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankE8

Sigma KEE - USMilitaryRankE8
USMilitaryRankE8(US military rank e8)master_sergeant

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


No TPTP formula. May not be expressible in strict first order. Military.kif 440-442
No TPTP formula. May not be expressible in strict first order. Military.kif 437-437 US military rank e8 is an instance of seniorNCO rank
No TPTP formula. May not be expressible in strict first order. Military.kif 438-438 US military rank e8 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 439-439 US military rank e8 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 449-449 US military rank e8 is an immediate successor attribute of US military rank e9

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


No TPTP formula. May not be expressible in strict first order. Military.kif 436-436 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. Military.kif 445-445
No TPTP formula. May not be expressible in strict first order. Military.kif 443-443
No TPTP formula. May not be expressible in strict first order. Military.kif 447-447
No TPTP formula. May not be expressible in strict first order. Military.kif 446-446
No TPTP formula. May not be expressible in strict first order. Military.kif 444-444
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60938-60938
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60937-60937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60936-60936


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