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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmericanCity
AmericanCity(american city)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 36-37
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10388-10388
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10387-10387
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10389-10389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10386-10386
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10385-10385
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 35-35 American city is a subclass of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 710-710 Atlanta georgia is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 713-713 Baltimore maryland is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 723-723 Boston, Massachusetts is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1610-1610 Chicago united states is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 853-853 Cleveland ohio is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 857-857 Columbus ohio is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 850-850 Dallas texas is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 837-837 Denver colorado is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 840-840 Detroit michigan is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 834-834 Fargo north dakota is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 824-824 Honolulu hawaii is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 827-827 Houston texas is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 726-726 Kansas city missouri is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 809-809 Los angeles california is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 730-730 Manchester new hampshire is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 729-729 Memphis tennessee is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 736-736 Minneapolis minnesota is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 752-752 Nashville tennessee is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2128-2128 New york city united states is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 762-762 Philadelphia pennsylvania is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 765-765 Pittsburgh pennsylvania is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 770-770 Providence rhode island is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 774-774 Richmond virginia is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 782-782 Saint louis missouri is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 785-785 Saint paul minnesota is an instance of american city

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 812-817
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2131-2135
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 39-41


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