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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - located
located

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4178-4179
No TPTP formula. May not be expressible in strict first order. Merge.kif 4175-4177
No TPTP formula. May not be expressible in strict first order. Merge.kif 4172-4172 The number 1 argument of located is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4173-4173 The number 2 argument of located is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4167-4167 located is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4169-4169 located is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4168-4168 located is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4170-4170 located is a subrelation of partly located

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 145-145
No TPTP formula. May not be expressible in strict first order. english_format.kif 99-99
No TPTP formula. May not be expressible in strict first order. french_format.kif 94-94
No TPTP formula. May not be expressible in strict first order. relations-it.txt 170-170
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 46-46
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 44-44
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 128-128
No TPTP formula. May not be expressible in strict first order. relations-de.txt 176-176
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 208-208
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 339-339
No TPTP formula. May not be expressible in strict first order. Merge.kif 3966-3966 time is internally related to located
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 374-374 basedIn is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Merge.kif 4233-4233 exactly located is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Merge.kif 13909-13909 geographic subregion is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7280-7280 headquarters of organization is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14703-14703 onboard is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Merge.kif 9861-9861 partially fills is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22160-22160 postCity is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22103-22103 postCountry is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22144-22144 postDistrict is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22072-22072 postNeighborhood is a subrelation of located
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22186-22186 postPostcodeArea is a subrelation of located
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 146-146 "位于" is the printable form of located in ChineseLanguage

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. Mid-level-ontology.kif 22192-22197 A PostalPlace is located at a PostcodeArea and the PostalPlace is an instance of PostalPlace and the PostcodeArea is an instance of PostcodeArea if and only if the PostalPlace is in post code the PostcodeArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22165-22170 A PostalPlace is located at a city and the PostalPlace is an instance of PostalPlace and the city is an instance of city if and only if the PostalPlace is in the city
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22078-22083 A PostalPlace is located at a neighborhood and the PostalPlace is an instance of PostalPlace and the neighborhood is an instance of neighborhood if and only if the PostalPlace is in the neighborhood
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22149-22154 A PostalPlace is located at a state or province and the PostalPlace is an instance of PostalPlace and the state or province is an instance of state or province if and only if the PostalPlace is in the state or province
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22115-22122 A PostalPlace is located at a geopolitical area and the PostalPlace is an instance of PostalPlace and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the PostalPlace is in the geopolitical area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17900-17921
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Military.kif 772-778
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Geography.kif 1848-1853
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 350-363
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22574-22583
No TPTP formula. May not be expressible in strict first order. Geography.kif 1820-1825
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 654-660
No TPTP formula. May not be expressible in strict first order. Dining.kif 544-560
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2276-2295
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2211-2219
No TPTP formula. May not be expressible in strict first order. Dining.kif 511-520
No TPTP formula. May not be expressible in strict first order. Merge.kif 11790-11799
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
No TPTP formula. May not be expressible in strict first order. Economy.kif 2435-2448
No TPTP formula. May not be expressible in strict first order. Economy.kif 2424-2433

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 1526-1537 A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection and another collection such that an object is located at the geographic area and the object is a member of the belief group and the object is a member of the collection and the real number1 is a member count of the collection and the object2 is located at the geographic area and the object2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order. People.kif 1545-1556 A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection and another collection such that an object is located at the geographic area and the object is a member of the ethnic group and the object is a member of the collection and the real number1 is a member count of the collection and the object2 is located at the geographic area and the object2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order. People.kif 1564-1575 A real number percent of people in a geographic area speak a language if and only if there exist a collection and another collection such that a sentient agent is located at the geographic area and the sentient agent is a member of the collection and the language is a speaks language of the sentient agent and the real number1 is a member count of the collection and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order. Transportation.kif 179-186 A length measure is a length of broad gauge railway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 674-681 A length measure is a length of crude oil pipeline of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 207-214 A length measure is a length of dual gauge railway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 125-132 A length measure is a length of electrified railway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 531-538 A length measure is a length of expressway system of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 152-159 A length measure is a length of multiple track railway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 234-241 A length measure is a length of narrow gauge railway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 697-704 A length measure is a length of natural gas pipeline of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 505-512 A length measure is a length of paved highway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 720-727 A length measure is a length of petroleum product pipeline of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 262-269 A length measure is a length of standard gauge railway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 291-303 A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 563-570 A length measure is a length of unpaved highway of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20820-20822 An object located at time a time position for another object if and only if the object is located at the other object holds during the time position
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1224-1234 A geographic area total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by an object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1168-1175 A geographic area total facility type in area a class for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a physical
No TPTP formula. May not be expressible in strict first order. Transportation.kif 451-458 A length measure is a total length of highway system of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 98-105 A length measure is a total length of railway system of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 647-654 A length measure is a total pipeline in area of a geographic area if and only if the length of the class described by a physical is the length measure
No TPTP formula. May not be expressible in strict first order. Hotel.kif 568-573
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1423-1434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17900-17921

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1922-1922 JesusOfNazareth is located at palestine holds during the time of existence of JesusOfNazareth

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2533-2533 AalandIslands is located at baltic sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4395-4395 Antarctic circumpolar current is located at southern ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 588-588 French southern and antarctic lands is located at the directional subregion of south and indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 586-586 French southern and antarctic lands is located at indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 231-231 Saint helena is located at south atlantic ocean


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners