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

Formal Language: 



KB Term:  Term intersection
English Word: 

  flagState

 Sigma KEE - flagState
flagState

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1082-1085
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1080-1080 国旗 的 1 数量 是 水车 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1081-1081 国旗 的 2 数量 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1077-1077 国旗 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1049-1049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1048-1048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1047-1047
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1079-1079 国旗 的名 是 "flag of registry"
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1078-1078 国旗 的名 是 "flag state"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24164-24164
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24163-24163
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24162-24162

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1097-1104


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