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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HyoglossusMuscle

 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 公司等级排名 是 委任军官级别 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Military.kif 483-483 美国军衔o1 是 公司等级排名 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 493-493 美国军衔o2 是 公司等级排名 的 instance
No TPTP formula. May not be expressible in strict first order. Military.kif 503-503 美国军衔o3 是 公司等级排名 的 instance
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 委任军官级别 分拆成不相交的 国旗官员级别, 现场等级军官等级, 和 公司等级排名


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