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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 公司等級排名 and 委任軍官級別

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


No TPTP formula. May not be expressible in strict first order. Military.kif 483-483 例 美國軍銜o1 and 公司等級排名
No TPTP formula. May not be expressible in strict first order. Military.kif 493-493 例 美國軍銜o2 and 公司等級排名
No TPTP formula. May not be expressible in strict first order. Military.kif 503-503 例 美國軍銜o3 and 公司等級排名
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 不相交分解 委任軍官級別, 國旗官員級別, 現場等級軍官等級 and 公司等級排名


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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