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

Formal Language: 



KB Term:  Term intersection
English Word: 

  shutdownOf

 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 4079-4081
(documentation located JapaneseLanguage "(located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。") japanese_format.kif 763-764
(domain located 1 Physical) Merge.kif 4076-4076 Die Zahl 1 Argument von befindetSich ist ein fall von Physical %n{nicht}
(domain located 2 Object) Merge.kif 4077-4077 Die Zahl 2 Argument von befindetSich ist ein fall von Object %n{nicht}
(instance located AntisymmetricRelation) Merge.kif 4071-4071 befindetSich ist ein fall von AntisymmetricRelation %n{nicht}
(instance located TotalValuedRelation) Merge.kif 4073-4073 befindetSich ist ein fall von TotalValuedRelation %n{nicht}
(instance located TransitiveRelation) Merge.kif 4072-4072 befindetSich ist ein fall von TransitiveRelation %n{nicht}
(subrelation located partlyLocated) Merge.kif 4074-4074 befindetSich ist eine teilrelation von befindetSichTeils

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 3869-3869 zeit ist innerlich verwandt mit befindetSich %n{nicht}
(subrelation exactlyLocated located) Merge.kif 4135-4135 liegtGenau ist eine teilrelation von befindetSich
(subrelation geographicSubregion located) Merge.kif 14092-14092 geographicSubregion ist eine teilrelation von befindetSich
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7603-7603 headquartersOfOrganization ist eine teilrelation von befindetSich
(subrelation onboard located) Mid-level-ontology.kif 17431-17431 onboard ist eine teilrelation von befindetSich
(subrelation partiallyFills located) Merge.kif 10010-10010 partiallyFills ist eine teilrelation von befindetSich
(subrelation postCity located) Mid-level-ontology.kif 24815-24815 postCity ist eine teilrelation von befindetSich
(subrelation postCountry located) Mid-level-ontology.kif 24758-24758 postCountry ist eine teilrelation von befindetSich
(subrelation postDistrict located) Mid-level-ontology.kif 24799-24799 postDistrict ist eine teilrelation von befindetSich
(subrelation postNeighborhood located) Mid-level-ontology.kif 24727-24727 postNeighborhood ist eine teilrelation von befindetSich
(subrelation postPostcodeArea located) Mid-level-ontology.kif 24841-24841 postPostcodeArea ist eine teilrelation von befindetSich
(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 24847-24852 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und PostcodeArea ist ein fall von PostcodeArea %n{nicht} genau dann wenn postPostcodeArea ** PostalPlace and ** PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))		 Mid-level-ontology.kif 24820-24825 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und City ist ein fall von City %n{nicht} genau dann wenn postCity ** PostalPlace and ** City
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))		 Mid-level-ontology.kif 24733-24738 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und Neighborhood ist ein fall von Neighborhood %n{nicht} genau dann wenn postNeighborhood ** PostalPlace and ** Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24804-24809 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und StateOrProvince ist ein fall von StateOrProvince %n{nicht} genau dann wenn postDistrict ** PostalPlace and ** StateOrProvince
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 24770-24777 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und GeopoliticalArea ist ein fall von Nation %n{nicht} oder ** GeopoliticalArea ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht} genau dann wenn postCountry ** PostalPlace and ** GeopoliticalArea
(=>
    (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 20628-20650
(=>
    (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 157-176
(=>
    (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
        (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 25092-25101
(=>
    (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))
            (not
                (equal ?A ?C))
            (not
                (equal ?B ?C)))))		 VirusProteinAndCellPart.kif 1003-1024
(=>
    (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
(=>
    (and
        (instance ?CELL TriploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 3))		 VirusProteinAndCellPart.kif 920-930

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, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** BeliefGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht}
(<=>
    (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 EthnicGroup, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , Physical,, , ** Physical2,, , ** RealNumber1, and und ** RealNumber2 um ** Physical befindet sich an %n{nicht} und ** Physical ist ein Mitglied von ** EthnicGroup %n{nicht} und ** Physical ist ein Mitglied von ** Collection %n{nicht} und memberCount ** Collection and ** RealNumber1 und ** Physical2 befindet sich an %n{nicht} und ** Physical2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht}
(<=>
    (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 Language, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , SentientAgent,, , ** SentientAgent2,, , ** RealNumber1, and und ** RealNumber2 um ** SentientAgent befindet sich an %n{nicht} und ** SentientAgent ist ein Mitglied von ** Collection %n{nicht} und speaksLanguage ** SentientAgent and ** Language und memberCount ** Collection and ** RealNumber1 und ** SentientAgent2 befindet sich an %n{nicht} und ** SentientAgent2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht}
(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 182-189 lengthOfBroadGaugeRailway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 712-719 lengthOfCrudeOilPipeline GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 210-217 lengthOfDualGaugeRailway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 126-133 lengthOfElectrifiedRailway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfExpresswaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Expressway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 568-575 lengthOfExpresswaySystem GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 154-161 lengthOfMultipleTrackRailway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS NarrowGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 237-244 lengthOfNarrowGaugeRailway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 735-742 lengthOfNaturalGasPipeline GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfPavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS SurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 542-549 lengthOfPavedHighway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 758-765 lengthOfPetroleumProductPipeline GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 265-272 lengthOfStandardGaugeRailway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (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 GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 601-608 lengthOfUnpavedHighway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (locatedAtTime ?OBJ ?TIME ?PLACE)
    (holdsDuring ?TIME
        (located ?OBJ ?PLACE)))		 Mid-level-ontology.kif 23360-23362 locatedAtTime Object, TimePosition and ** Object genau dann wenn ** Object befindet sich an %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(<=>
    (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 GeographicArea, die kategorie, die AirportWithPavedRunway entspricht and NonnegativeInteger genau dann wenn es gibt SymbolicString und entity um cardinality die kategorie die ** SymbolicString beschreibt and ** NonnegativeInteger
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))		 Transportation.kif 1221-1228 totalFacilityTypeInArea GeographicArea, Class and NonnegativeInteger genau dann wenn cardinality die kategorie die SymbolicString beschreibt and ** NonnegativeInteger
(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491 totalLengthOfHighwaySystem GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 98-105 totalLengthOfRailwaySystem GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(<=>
    (totalPipelineInArea ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPE
            (and
                (instance ?PIPE Pipeline)
                (located ?PIPE ?AREA))) ?LENGTH))		 Transportation.kif 685-692 totalPipelineInArea GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(=>
    (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 18229-18246 Es gibt ?X, ?CUT,, , ?PAPER,, , ?CBO, and und ?INFO um ?X ist ein fall von PaperShredder %n{nicht} und ?CUT ist ein fall von Cutting %n{nicht} und ?X ist ein instrument fuer ?CUT %n{nicht} und ?PAPER ist ein fall von Paper %n{nicht} und ?PAPER ist ein patient von ?CUT %n{nicht} und ?CBO befindet sich an %n{nicht} und ?CBO ist ein fall von VisualContentBearingObject %n{nicht} und ?CBO enthaelt Informationen ueber ?INFO verringert die Wahrscheinlichkeit von es gibt ?READ um ?READ ist ein fall von Interpreting %n{nicht} und ?INFO ist ein patient von ?READ %n{nicht} und die zeit des Bestehens von ?CUT geschieht frueh als die zeit des Bestehens von ?READ %n{nicht} %n{nicht}
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))		 Mid-level-ontology.kif 31766-31771 OrganismPopulationFn Organism and GeographicArea ist gleich die Zahl Faellen in die kategorie die ** OrganismI beschreibt %n{nicht}
(holdsDuring
    (WhenFn JesusOfNazareth)
    (located JesusOfNazareth Palestine))		 Media.kif 1920-1920 JesusOfNazareth befindet sich an %n{nicht} haelt waehrend die zeit des Bestehens von JesusOfNazareth %n{nicht}

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