|
| (<=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2 ?UNIT) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 ?UNIT)) (measure ?OBJ2 (MeasureFn ?QUANT2 ?UNIT)) (instance ?UNIT UnitOfLength)) (greaterThan ?QUANT1 ?QUANT2)))) |
Merge.kif 7780-7788 | Object ist groesser als ** Object genau dann wenn fuer alle RealNumber, ** RealNumber, and und UnitOfMeasure
|
| (<=> (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} |
| (<=> (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1233-1238 | lowestDecileShareOfHouseholdIncomeInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und lowestDecileShareOfHouseholdIncome ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
| (<=> (manner ?P Harmless) (and (not (instance ?P Damaging)) (not (exists (?P2) (and (instance ?P2 Damaging) (subProcess ?P2 ?P)))) (not (exists (?P2) (and (instance ?P2 Damaging) (causes ?P ?P2)))))) |
Mid-level-ontology.kif 30284-30298 | Process wird in der Weise von Harmless durchgef�hrt genau dann wenn ** Process ist ein fall von Damaging nicht und es gibt nicht ** Process2 um ** Process2 ist ein fall von Damaging %n{nicht} und ** Process2 ist ein subProzess von ** Process und es gibt nicht ** Process2 um ** Process2 ist ein fall von Damaging %n{nicht} und ** Process verursacht ** Process2 %n{nicht} |
| (<=> (militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
Military.kif 1019-1024 | militaryExpendituresFractionOfGDPInPeriod GeopoliticalArea, RealNumber and TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und militaryExpendituresFractionOfGDP ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
| (<=> (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 980-985 | militaryExpendituresInUSDollarsInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und militaryExpendituresInUSDollars ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht} |
| (<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13849-13856 | Die Aussage Formula hat die modale Kraft von Legal genau dann wenn es gibt nicht ** Formula um die Aussage ** ** Formula hat die modale Kraft von Law und consistent ** Formula and ** ** Formula |
| (<=> (monthlyIncome ?Agent ?Money) (exists (?Month) (and (instance ?Month Month) (income ?Agent ?Money ?Month)))) |
FinancialOntology.kif 3283-3288 | monthlyIncome Human and CurrencyMeasure genau dann wenn es gibt TimeInterval um ** TimeInterval ist ein fall von Month %n{nicht} und income ** Human, ** CurrencyMeasure and ** TimeInterval |
| (<=> (nephew ?N ?H) (exists (?S) (and (sibling ?S ?H) (son ?N ?S)))) |
Mid-level-ontology.kif 23108-23113 | nephew Man and Human genau dann wenn es gibt Organism um ** Human ist die geschwister von ** Organism %n{nicht} und son ** Man and ** Organism |
| (<=> (niece ?N ?H) (exists (?S) (and (sibling ?S ?H) (daughter ?N ?S)))) |
Mid-level-ontology.kif 23122-23127 | niece Woman and Human genau dann wenn es gibt Organism um ** Human ist die geschwister von ** Organism %n{nicht} und daughter ** Woman and ** Organism |
| (<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3653-3657 | Object ist Northeast hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} und ** Object ist East hinsichlich ** ** Object %n{nicht} |
| (<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3688-3692 | Object ist Northwest hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} und ** Object ist West hinsichlich ** ** Object %n{nicht} |
| (<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3664-3668 | Object ist Southeast hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} und ** Object ist East hinsichlich ** ** Object %n{nicht} |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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