located - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2111-2112
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4078-4080
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 763-764
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4075-4075	Le nombre 1 argument de located est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4076-4076	Le nombre 2 argument de located est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4070-4070	located est une instance de relation antisym�trique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4072-4072	located est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4071-4071	located est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4073-4073	located est une sous-relation de partlyLocated

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 146-146
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.	japanese_format.kif 1921-1921
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.	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-ro.kif 113-113
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 93-93
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 3868-3868	time est reli� � l'int�rieur de SUMO � located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4134-4134	exactlyLocated est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14046-14046	geographicSubregion est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7576-7576	headquartersOfOrganization est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17404-17404	onboard est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9974-9974	partiallyFills est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24758-24758	postCity est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24701-24701	postCountry est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24742-24742	postDistrict est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24670-24670	postNeighborhood est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24784-24784	postPostcodeArea est une sous-relation de located
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 146-146

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 24790-24795	PostalPlace est situ� � PostcodeArea PostalPlace est une instance de PostalPlace PostcodeArea est une instance de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24763-24768	PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24676-24681	PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24747-24752	PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organisation est capable de faire ValetParking dans le r�le agent customer agent cognitif and organisation organisation est situ� � objet processus est une instance de Arriving processus est un agent de agent cognitif entit� est un patient de processus processus aboutit � objet humain humain occupe la position de Valet organisation l'argument entit� entit� entit� est une instance de ValetParking entit� est un agent de humain entit� est un patient de entit� entit� aboutit � entit� entit� est une instance de ParkingRegion a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 703-711	chromosomeNumber EukaryoticCell and nombre entier objet est une partie de EukaryoticCell objet est une instance de CellNucleus EukaryoticCellOLL est une instance de collection EukaryoticCellOLL est situ� � objet memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and nombre entier
No TPTP formula. May not be expressible in strict first order.	Military.kif 772-778	Humain est un citoyen de nation objet humain est situ� � objet humain est situ� � nation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1907-1912	elevation objet and mesure de longueur objet est situ� � objet objet est une instance de secteur g�ographique objet est une partie superficielle de PlanetEarth
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and physique physique est une sous-classe de objet TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent objet est une instance de physique objet est situ� � TemporaryResidence processus est une instance de processus processus est un agent de humain objet est un patient de processus objet est un instrument pour processus objet est une resource pour processus price objet, 0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and physique physique est une sous-classe de processus TemporaryResidence est une instance de HotelUnit stays humain and TemporaryResidence TemporaryResidence est un appartenir � AutonomousAgent humain est un patient de processus processus est une instance de physique processus est une instance de physique processus est un sous-processus de processus processus est situ� � TemporaryResidence price processus, 0.0 UnitedStatesDollar(s) and humain
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 794-803	haploidNumber Gamete and nombre entier Gamete est une instance de Gamete objet est une partie de Gamete objet est une instance de CellNucleus collection est une instance de collection collection est situ� � objet memberType collection and Chromosome memberCount collection and nombre entier
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian est un attribut de entit� entit� vie � entit� entit� est situ� � secteur g�ographique pendant interval temporel secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de interval temporel interval temporel entit�-PLACE and entit�-RES interval temporel est une instance de interval temporel interval temporel arrive plus t�t que interval temporel entit�-RES est une instance de objet entit�-PLACE est une instance de secteur g�opolitique entit�-RES est situ� � entit�-PLACE secteur g�ographique est entit�-PLACE entit� est entit�-RES geographicSubregion secteur g�ographique and entit�-PLACE geographicSubregion entit�-PLACE and secteur g�ographique entit� vie � entit�-RES pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1008-1019	Processus est une instance de LocalAnesthetizing processus est situ� � objet objet est une instance de partie du corps objet est une partie de objet objet est un patient de processus PainFn objet est un attribut de objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25035-25044	Entit� est une instance de humain deviceTelecomNumber entit� and entit� telephoneNumber entit� and entit� entit� est situ� � entit� entit� est une instance de Residence pendant position temporel entit� vie � entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1879-1884	Objet est une instance de secteur g�ographique physique est une instance de GeologicalFault physique est situ� � objet GeologicallyStable est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	Processus est une instance de AntiSurfaceOperation entit� est un patient de processus entit� est situ� � entit� pendant temps d'existence de processus entit� est une instance de plan d'eau
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processus est une instance de CateringService processus est un agent de AutonomousAgent processus aboutit � processusUST AutonomousAgent est situ� � objet customer processusUST and AutonomousAgent processus entit� and processus processus est une instance de cuisiner processus est un agent de AutonomousAgent entit� est le resultat de processus entit� est un patient de processus processus est une instance de manger processus est un agent de processusUST eventLocated processus and objet objet est objet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	Agreement est une instance de CivilAffairsAgreement partyToAgreement entit�_MIL_THIS and Agreement entit�_MIL_THIS est une instance de MilitaryOrganization militaryOfArea entit�_MIL_THIS and entit�_THIS entit�_THIS est une instance de nation entit�_MIL_THIS est situ� � entit�_FRIENDLY entit�_FRIENDLY est une instance de nation entit�_THIS est entit�_FRIENDLY enemy entit�_THIS and entit�_FRIENDLY entit�_FRIENDLY entit�_FRIENDLY est situ� � entit�_FRIENDLY partyToAgreement entit�_FRIENDLY and Agreement entit�_FRIENDLY est une instance de MilitaryOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2244-2252	Processus est une instance de CivilAffairsOperation processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation proposition est une instance de RegionalLawFn secteur g�opolitique processus exprime le contenu de proposition consistent proposition and proposition
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1004-1023	Objet est une instance de HexaploidCell objet est une partie de objet objet est une instance de CellNucleus collection est situ� � objet collection est une instance de collection memberType collection and Chromosome collection collection and collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 773-782	EukaryoticCell est une instance de MonoploidCell chromosomeNumber EukaryoticCell and nombre entier MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell monoploidNumber MonoploidChromosomeSet and nombre entier nombre entier est nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 974-984	Objet est une instance de PentaploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 951-966	Objet est une instance de TetraploidCell objet est une partie de objet objet est une instance de CellNucleus collection est situ� � objet collection est une instance de collection memberType collection and Chromosome collection collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est collection

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 1528-1539	beliefGroupPercentInRegion BeliefGroup, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de BeliefGroup physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	ethnicityPercentInRegion groupe ethnique, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de groupe ethnique physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	languagePercentInRegion langage, nombre r�el and secteur g�ographique collection collection, sentient agent, sentient agent2, nombre r�el1 and nombre r�el2 sentient agent est situ� � secteur g�ographique sentient agent est un membre de collection speaksLanguage sentient agent and langage memberCount collection and nombre r�el1 sentient agent2 est situ� � secteur g�ographique sentient agent2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 182-189	lengthOfBroadGaugeRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 712-719	lengthOfCrudeOilPipeline secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 210-217	lengthOfDualGaugeRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 126-133	lengthOfElectrifiedRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 568-575	lengthOfExpresswaySystem secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 154-161	lengthOfMultipleTrackRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 237-244	lengthOfNarrowGaugeRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 735-742	lengthOfNaturalGasPipeline secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 542-549	lengthOfPavedHighway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 758-765	lengthOfPetroleumProductPipeline secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 265-272	lengthOfStandardGaugeRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 294-306	lengthOfUnclassifiedGaugeRailway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 601-608	lengthOfUnpavedHighway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23308-23310	locatedAtTime objet, position temporel and objet objet est situ� � objet pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1277-1287	totalFacilityTypeInArea secteur g�ographique, la classe correspondant � AirportWithPavedRunway and nombre entier non n�gatif cha�ne sympbolique entit� cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1221-1228	totalFacilityTypeInArea secteur g�ographique, classe and nombre entier non n�gatif cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 484-491	totalLengthOfHighwaySystem secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 98-105	totalLengthOfRailwaySystem secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 685-692	totalPipelineInArea secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 599-604	activityCapability AutonomousAgent and processus objet objet est un appartenir � AutonomousAgent objet est capable de faire processus dans le r�le located
No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	DeepSeaCoastalAndGreatLakesWaterTransportation est un attribut de agent cognitif agent cognitif est une instance de TransportationCompany ServiceProcess objet ServiceProcess est une instance de WaterTransportationService serviceProvider ServiceProcess and agent cognitif eventLocated ServiceProcess and objet objet est une instance de plan d'eau agent cognitif est situ� � NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree est un attribut de objet objet est une instance de Store secteur g�opolitique entit�, objet and processus secteur g�opolitique est une instance de secteur g�opolitique objet est situ� � secteur g�opolitique objet est une sous-classe de objet importCommodityType secteur g�opolitique and objet entit� est une instance de objet processus est une instance de vendre entit� est un patient de processus processus est situ� � objet

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.	Mid-level-ontology.kif 18202-18219	?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31734-31739	OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI
No TPTP formula. May not be expressible in strict first order.	Media.kif 1920-1920	JesusOfNazareth est situ� � Palestine pendant temps d'existence de JesusOfNazareth

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Media.kif 2563-2563	AalandIslands est situ� � BalticSea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4695-4695	AntarcticCircumpolarCurrent est situ� � SouthernOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 588-588	FrenchSouthernAndAntarcticLands est situ� � DirectionalSubregionFn South and IndianOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 586-586	FrenchSouthernAndAntarcticLands est situ� � IndianOcean
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 231-231	SaintHelena est situ� � SouthAtlanticOcean

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

KB Term:			Term intersection

English Word: