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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 and 水車
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1081-1081 國旗, 2 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1077-1077 國旗 and BinaryPredicate

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" and 國旗
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1078-1078 "flag state" and 國旗
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 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