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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnpavedRunway

 Sigma KEE - located
located

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


(documentation located ChineseLanguage "(located ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 partlyLocated 在 ?OBJ2，而且没有一处 ?OBJ1的 part 不是 located 在?OBJ2。") chinese_format.kif 2111-2112
(documentation located EnglishLanguage "(located ?OBJ1 ?OBJ2) means that ?OBJ1 is partlyLocated at ?OBJ2, and there is no part of ?OBJ1 that is not located at ?OBJ2.") Merge.kif 4078-4080
(documentation located JapaneseLanguage "(located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。") japanese_format.kif 763-764
(domain located 1 Physical) Merge.kif 4075-4075 Il numero 1 argomenti di located è un istanza di Entit�Concreta
(domain located 2 Object) Merge.kif 4076-4076 Il numero 2 argomenti di located è un istanza di Oggetto
(instance located AntisymmetricRelation) Merge.kif 4070-4070 located è un' istanza di RelazioneAntisimmetrica
(instance located TotalValuedRelation) Merge.kif 4072-4072 located è un' istanza di RelazioneAValoreTotale
(instance located TransitiveRelation) Merge.kif 4071-4071 located è un' istanza di RelazioneTransitiva
(subrelation located partlyLocated) Merge.kif 4073-4073 located è una sottorelazione di partlyLocated

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


(format ChineseLanguage located "%1 %n 是 located 在 %2") chinese_format.kif 145-145
(format EnglishLanguage located "%1 is %n located at %2") english_format.kif 146-146
(format FrenchLanguage located "%1 est %n situ� � %2") french_format.kif 94-94
(format ItalianLanguage located "%1 è %n localizzato in %2") relations-it.txt 170-170
(format JapaneseLanguage located "%1 は %2 に located して %n") japanese_format.kif 1921-1921
(format PortugueseLanguage located "%1 e' %n situado em %2") portuguese_format.kif 46-46
(format cz located "%1 %p{je} %n{nen�} located at %2") relations-cz.txt 128-128
(format de located "%1 befindet sich an %n{nicht}") relations-de.txt 176-176
(format hi located "%1 %2 para/men sthita %n hai") relations-hindi.txt 208-208
(format ro located "%1 %n{nu} este located%t{localizat} la %2") relations-ro.kif 113-113
(format sv located "%1 ligger %n{inte} vid %2") relations-sv.txt 93-93
(format tg located "%1 %n ay sa %2") relations-tg.txt 339-339
(relatedInternalConcept time located) Merge.kif 3868-3868 time è interamente correlato a located
(subrelation exactlyLocated located) Merge.kif 4134-4134 exactlyLocated è una sottorelazione di located
(subrelation geographicSubregion located) Merge.kif 14068-14068 geographicSubregion è una sottorelazione di located
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7575-7575 headquartersOfOrganization è una sottorelazione di located
(subrelation onboard located) Mid-level-ontology.kif 17403-17403 onboard è una sottorelazione di located
(subrelation partiallyFills located) Merge.kif 9996-9996 partiallyFills è una sottorelazione di located
(subrelation postCity located) Mid-level-ontology.kif 24757-24757 postCity è una sottorelazione di located
(subrelation postCountry located) Mid-level-ontology.kif 24700-24700 postCountry è una sottorelazione di located
(subrelation postDistrict located) Mid-level-ontology.kif 24741-24741 postDistrict è una sottorelazione di located
(subrelation postNeighborhood located) Mid-level-ontology.kif 24669-24669 postNeighborhood è una sottorelazione di located
(subrelation postPostcodeArea located) Mid-level-ontology.kif 24783-24783 postPostcodeArea è una sottorelazione di located
(termFormat ChineseLanguage located "位于") chinese_format.kif 146-146

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))		 Mid-level-ontology.kif 24789-24794 PostalPlace è localizzato in PostcodeArea PostalPlace è un' istanza di PostalPlace PostcodeArea è un' istanza di PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 24762-24767 PostalPlace è localizzato in Citt� PostalPlace è un' istanza di PostalPlace Citt� è un' istanza di Citt� postCity PostalPlace and Citt�
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 24675-24680 PostalPlace è localizzato in Neighborhood PostalPlace è un' istanza di PostalPlace Neighborhood è un' istanza di Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24746-24751 PostalPlace è localizzato in StatoOProvincia PostalPlace è un' istanza di PostalPlace StatoOProvincia è un' istanza di StatoOProvincia postDistrict PostalPlace and StatoOProvincia
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 24712-24719 PostalPlace è localizzato in AreaGeopolitica PostalPlace è un' istanza di PostalPlace AreaGeopolitica è un' istanza di Nazione AreaGeopolitica è un' istanza di DependencyOrSpecialSovereigntyArea postCountry PostalPlace and AreaGeopolitica
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))		 Mid-level-ontology.kif 20600-20622
(=>
    (and
        (capability ValetParking agent ?AGENT)
        (customer ?CUST ?AGENT)
        (located ?AGENT ?LOC)
        (instance ?D Arriving)
        (agent ?D ?CUST)
        (patient ?D ?VEHICLE)
        (destination ?D ?LOC))
    (exists (?VALET)
        (and
            (occupiesPosition ?VALET Valet ?AGENT)
            (modalAttribute
                (exists (?VP ?PARK)
                    (and
                        (instance ?VP ValetParking)
                        (agent ?VP ?VALET)
                        (patient ?VP ?VEHICLE)
                        (destination ?VP ?PARK)
                        (instance ?PARK ParkingRegion))) Possibility))))		 TransportDetail.kif 153-172
(=>
    (and
        (chromosomeNumber ?C ?I)
        (part ?N ?C)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))		 VirusProteinAndCellPart.kif 702-710
(=>
    (and
        (citizen ?P ?C)
        (not
            (exists (?L)
                (located ?P ?L))))
    (located ?P ?C))		 Military.kif 772-778
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))		 Geography.kif 1907-1912
(=>
    (and
        (freeRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (price ?O
        (MeasureFn 0 UnitedStatesDollar) ?GUEST))		 Hotel.kif 346-361
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (patient ?P ?GUEST)
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0.0 UnitedStatesDollar) ?GUEST))		 Hotel.kif 364-378
(=>
    (and
        (haploidNumber ?CELL ?I)
        (instance ?CELL Gamete)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))		 VirusProteinAndCellPart.kif 793-802
(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?PERSON DislocatedCivilian)
                (inhabits ?PERSON ?RESIDENCE)
                (located ?RESIDENCE ?PLACE)))
        (instance ?PLACE GeographicArea)
        (instance ?T1 TimeInterval))
    (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
        (and
            (instance ?T0 TimeInterval)
            (earlier ?T0 ?T1)
            (instance ?PRIOR-RES Object)
            (instance ?PRIOR-PLACE GeopoliticalArea)
            (located ?PRIOR-RES ?PRIOR-PLACE)
            (not
                (equal ?PLACE ?PRIOR-PLACE))
            (not
                (equal ?RESIDENCE ?PRIOR-RES))
            (not
                (geographicSubregion ?PLACE ?PRIOR-PLACE))
            (not
                (geographicSubregion ?PRIOR-PLACE ?PLACE))
            (holdsDuring ?T0
                (inhabits ?PERSON ?PRIOR-RES)))))		 MilitaryPersons.kif 26-47
(=>
    (and
        (instance ?A LocalAnesthetizing)
        (located ?A ?BP)
        (instance ?BP BodyPart)
        (part ?BP ?P)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (not
            (attribute ?P
                (PainFn ?BP)))))		 Medicine.kif 1008-1019
(=>
    (and
        (instance ?AGENT Human)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT)
                (located ?DEVICE ?PLACE)
                (instance ?PLACE Residence))))
    (holdsDuring ?TIME
        (inhabits ?AGENT ?PLACE)))		 Mid-level-ontology.kif 25034-25043
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1879-1884
(=>
    (and
        (instance ?ASO AntiSurfaceOperation)
        (patient ?ASO ?TARGET)
        (holdsDuring
            (WhenFn ?ASO)
            (located ?TARGET ?LOCATION)))
    (instance ?LOCATION WaterArea))		 MilitaryProcesses.kif 665-671
(=>
    (and
        (instance ?C CateringService)
        (agent ?C ?AGENT)
        (destination ?C ?CUST)
        (located ?AGENT ?LOC1)
        (customer ?CUST ?AGENT)
        (exists (?S ?FOOD ?E)
            (and
                (instance ?S Cooking)
                (agent ?S ?AGENT)
                (result ?S ?FOOD)
                (patient ?C ?FOOD)
                (instance ?E Eating)
                (agent ?E ?CUST)
                (eventLocated ?E ?LOC2))))
    (not
        (equal ?LOC1 ?LOC2)))		 Dining.kif 586-602
(=>
    (and
        (instance ?CAA CivilAffairsAgreement)
        (partyToAgreement ?AGENT_MIL_THIS ?CAA)
        (instance ?AGENT_MIL_THIS MilitaryOrganization)
        (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS)
        (instance ?NATION_THIS Nation)
        (located ?AGENT_MIL_THIS ?NATION_FRIENDLY)
        (instance ?NATION_FRIENDLY Nation))
    (and
        (not
            (equal ?NATION_THIS ?NATION_FRIENDLY))
        (not
            (enemy ?NATION_THIS ?NATION_FRIENDLY))
        (exists (?AGENT_FRIENDLY)
            (and
                (located ?AGENT_FRIENDLY ?NATION_FRIENDLY)
                (partyToAgreement ?AGENT_FRIENDLY ?CAA)
                (not
                    (instance ?AGENT_FRIENDLY MilitaryOrganization))))))		 MilitaryProcesses.kif 2309-2328
(=>
    (and
        (instance ?CAO CivilAffairsOperation)
        (located ?CAO ?NATION)
        (instance ?NATION Nation)
        (instance ?LAW
            (RegionalLawFn ?NATION))
        (realization ?CAO ?CONTENT))
    (consistent ?LAW ?CONTENT))		 MilitaryProcesses.kif 2244-2252
(=>
    (and
        (instance ?CELL HexaploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B ?C)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (instance ?C HomologousChromosomeSet)
            (subCollection ?C ?COLL)
            (not
                (equal ?A ?B)
                (equal ?A ?C)
                (equal ?B ?C)))))		 VirusProteinAndCellPart.kif 1003-1022
(=>
    (and
        (instance ?CELL MonoploidCell)
        (chromosomeNumber ?CELL ?X)
        (instance ?COLL MonoploidChromosomeSet)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (monoploidNumber ?COLL ?Y))
    (equal ?X ?Y))		 VirusProteinAndCellPart.kif 772-781
(=>
    (and
        (instance ?CELL PentaploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 5))		 VirusProteinAndCellPart.kif 973-983
(=>
    (and
        (instance ?CELL TetraploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (not
                (equal ?A ?B)))))		 VirusProteinAndCellPart.kif 950-965

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (beliefGroupPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))		 People.kif 1528-1539 beliefGroupPercentInRegion BeliefGroup, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, Entit�Concreta, Entit�Concreta2, NumeroReale1 and NumeroReale2 Entit�Concreta è localizzato in AreaGeografica Entit�Concreta è un membro di BeliefGroup Entit�Concreta è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale1 Entit�Concreta2 è localizzato in AreaGeografica Entit�Concreta2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2
(<=>
    (ethnicityPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?BG)
            (member ?P ?G1)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))		 People.kif 1547-1558 ethnicityPercentInRegion GruppoEtnico, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, Entit�Concreta, Entit�Concreta2, NumeroReale1 and NumeroReale2 Entit�Concreta è localizzato in AreaGeografica Entit�Concreta è un membro di GruppoEtnico Entit�Concreta è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale1 Entit�Concreta2 è localizzato in AreaGeografica Entit�Concreta2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2
(<=>
    (languagePercentInRegion ?L ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (and
            (located ?P ?R)
            (member ?P ?G1)
            (speaksLanguage ?P ?L)
            (memberCount ?G1 ?N1)
            (located ?P2 ?R)
            (member ?P2 ?G2)
            (memberCount ?G2 ?N2)
            (equal
                (DivisionFn ?N 100)
                (DivisionFn ?N1 ?N2)))))		 People.kif 1566-1577 languagePercentInRegion Linguaggio, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, AgenteSensibile, AgenteSensibile2, NumeroReale1 and NumeroReale2 AgenteSensibile è localizzato in AreaGeografica AgenteSensibile è un membro di InsiemeConcreto speaksLanguage AgenteSensibile and Linguaggio memberCount InsiemeConcreto and NumeroReale1 AgenteSensibile2 è localizzato in AreaGeografica AgenteSensibile2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2
(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 182-189 lengthOfBroadGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 712-719 lengthOfCrudeOilPipeline AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 210-217 lengthOfDualGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 126-133 lengthOfElectrifiedRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfExpresswaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Expressway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 568-575 lengthOfExpresswaySystem AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 154-161 lengthOfMultipleTrackRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS NarrowGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 237-244 lengthOfNarrowGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 735-742 lengthOfNaturalGasPipeline AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfPavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS SurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 542-549 lengthOfPavedHighway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 758-765 lengthOfPetroleumProductPipeline AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 265-272 lengthOfStandardGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))		 Transportation.kif 294-306 lengthOfUnclassifiedGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 601-608 lengthOfUnpavedHighway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (locatedAtTime ?OBJ ?TIME ?PLACE)
    (holdsDuring ?TIME
        (located ?OBJ ?PLACE)))		 Mid-level-ontology.kif 23307-23309 locatedAtTime Oggetto, PosizioneTemporale and Oggetto Oggetto è localizzato in Oggetto vales durante PosizioneTemporale
(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (cardinality
            (KappaFn ?AIRPORT
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA))) ?COUNT)))		 Transportation.kif 1277-1287 totalFacilityTypeInArea AreaGeografica, la classe corrispondente a AirportWithPavedRunway and NumeroInteroNonNegativo Stringa Entit� cardinality la classe descritta da Stringa and NumeroInteroNonNegativo
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))		 Transportation.kif 1221-1228 totalFacilityTypeInArea AreaGeografica, Classe and NumeroInteroNonNegativo cardinality la classe descritta da Stringa and NumeroInteroNonNegativo
(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491 totalLengthOfHighwaySystem AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 98-105 totalLengthOfRailwaySystem AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))		 Transportation.kif 685-692 totalPipelineInArea AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza
(=>
    (activityCapability ?AGENT ?ACT)
    (exists (?LOC)
        (and
            (element ?LOC
                (PropertyFn ?AGENT))
            (capability ?ACT located ?LOC))))		 Hotel.kif 599-604
(=>
    (and
        (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation)
        (instance ?X TransportationCompany))
    (exists (?SERVICE ?PLACE)
        (and
            (instance ?SERVICE WaterTransportationService)
            (serviceProvider ?SERVICE ?X)
            (eventLocated ?SERVICE ?PLACE)
            (instance ?PLACE WaterArea)
            (located ?X NorthAmerica))))		 naics.kif 8120-8130
(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Store))
    (exists (?AREA ?OBJ ?O ?SELL)
        (and
            (instance ?AREA GeopoliticalArea)
            (located ?X ?AREA)
            (subclass ?O Object)
            (importCommodityType ?AREA ?O)
            (instance ?OBJ ?O)
            (instance ?SELL Selling)
            (patient ?SELL ?OBJ)
            (located ?SELL ?X))))		 Hotel.kif 1478-1491

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))		 Mid-level-ontology.kif 18201-18218 decreasesLikelihood ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un' istanza di PaperShredder ?CUT è un' istanza di Tagliare ?X è uno strumento per ?CUT ?PAPER è un' istanza di Paper ?PAPER è un paziente di ?CUT ?CBO è localizzato in ?PAPER ?CBO è un' istanza di VisualContentBearingObject ?CBO contienes informazione ?INFO and ?READ ?READ è un' istanza di Interpreting ?INFO è un paziente di ?READ il tempo di esistenza di ?CUT accades prima di il tempo di esistenza di ?READ
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))		 Mid-level-ontology.kif 31730-31735 OrganismPopulationFn Organismo and AreaGeografica is uguale a il numero di istanzia in la classe descritta da OrganismoI
(holdsDuring
    (WhenFn JesusOfNazareth)
    (located JesusOfNazareth Palestine))		 Media.kif 1920-1920 JesusOfNazareth è localizzato in Palestine vales durante il tempo di esistenza di JesusOfNazareth

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


(located AalandIslands BalticSea) Media.kif 2563-2563 AalandIslands è localizzato in BalticSea
(located AntarcticCircumpolarCurrent SouthernOcean) Geography.kif 4695-4695 AntarcticCircumpolarCurrent è localizzato in SouthernOcean
(located FrenchSouthernAndAntarcticLands
    (DirectionalSubregionFn South IndianOcean))		 CountriesAndRegions.kif 588-588 FrenchSouthernAndAntarcticLands è localizzato in DirectionalSubregionFn South and IndianOcean
(located FrenchSouthernAndAntarcticLands IndianOcean) CountriesAndRegions.kif 586-586 FrenchSouthernAndAntarcticLands è localizzato in IndianOcean
(located SaintHelena SouthAtlanticOcean) CountriesAndRegions.kif 231-231 SaintHelena è localizzato in SouthAtlanticOcean


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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