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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Maryland
Maryland(maryland)
Free_State, MD, Maryland, Old_Line_State

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 986-987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 583-583
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 981-981 Maryland is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 982-982 Maryland meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 983-983 Maryland meets virginia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 985-985 Maryland meets washingtonDC united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 984-984 Maryland meets West virginia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 920-920 Delaware meets maryland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 714-714 Baltimore maryland is a part of maryland
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36365-36365
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36364-36364
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36363-36363


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