(=>     (and         (instance ?X Penne)         (not             (exists (?Y)                 (and                     (instance ?Y Penne)                     (part ?Y ?X)))))     (and         (exists (?HOLE2)             (and                 (instance ?HOLE2 HoleRegion)                 (part ?X ?HOLE2)))         (attribute ?X Fillable)))	Food.kif 2763-2776	Wenn Object ist ein fall von Penne %n{nicht} und es gibt nicht ** Object um ** ** Object ist ein fall von Penne %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von HoleRegion %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} und Fillable ist ein attribut von ** Object %n{nicht}
(=>     (and         (measure ?P1             (MeasureFn ?N1 Lumen))         (measure ?P2             (MeasureFn ?N2 Lumen))         (part ?P1 ?O)         (part ?P2 ?O)         (not             (equal ?P1 ?P2))         (greaterThan ?N1 ?N2)         (equal             (DivisionFn ?N1 ?N2) ?R)         (contrastRatio ?O ?R))     (not         (exists (?P3 ?P4 ?N3 ?N4)             (and                 (measure ?P3                     (MeasureFn ?N3 Lumen))                 (measure ?P4                     (MeasureFn ?N4 Lumen))                 (part ?P3 ?O)                 (part ?P4 ?O)                 (not                     (equal ?P3 ?P4))                 (greaterThan ?N3 ?N4)                 (greaterThan                     (DivisionFn ?N3 ?N4) ?R)))))	ComputingBrands.kif 3735-3756	Wenn das mass von Object ist RealNumber Lumen(s) %n{nicht} und das mass von ** Object ist ** RealNumber Lumen(s) %n{nicht} und ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** Object ist gleich ** ** Object nicht und ** RealNumber ist groesserAls ** ** RealNumber %n{nicht} und ** RealNumber und ** ** RealNumber ist gleich ** RealNumber %n{nicht} und contrastRatio ** ** Object and ** ** RealNumber, dann es gibt nicht ** Object, ** Object,, , ** RealNumber, and und ** RealNumber um das mass von ** ** Object ist ** ** RealNumber Lumen(s) %n{nicht} und das mass von ** ** Object ist ** ** RealNumber Lumen(s) %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist gleich ** ** Object nicht und ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht} und ** ** RealNumber und ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
(=>     (and         (meatOfAnimal ?MEAT ?ANIMAL)         (instance ?M ?MEAT))     (exists (?TIME ?A)         (and             (instance ?A ?ANIMAL)             (finishes ?TIME                 (WhenFn ?A))             (holdsDuring ?TIME                 (part ?M ?A)))))	Mid-level-ontology.kif 20355-20364	Wenn meatOfAnimal ** Meat and ** Animal und Entity ist ein fall von ** Meat %n{nicht}, dann es gibt TimeInterval und Physical um ** Physical ist ein fall von ** Animal %n{nicht} und ** TimeInterval beendet die zeit des Bestehens von ** Physical %n{nicht} und ** Entity ist ein teil von ** Physical %n{nicht} haelt waehrend ** TimeInterval %n{nicht}
(=>     (and         (muscleInsertion ?MC ?BPC)         (instance ?H Human)         (attribute ?H Healthy))     (exists (?M ?BP)         (and             (instance ?M ?MC)             (instance ?BP ?BPC)             (part ?M ?H)             (part ?BP ?H)             (connects ?M ?BP))))	Anatomy.kif 1745-1756	Wenn muscleInsertion ** Muscle and ** BodyPart und Object ist ein fall von Human %n{nicht} und Healthy ist ein attribut von ** Object %n{nicht}, dann es gibt ** Object und ** Object um ** ** Object ist ein fall von ** Muscle %n{nicht} und ** ** Object ist ein fall von ** BodyPart %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object schleisst ** ** Object und an
(=>     (and         (muscleOrigin ?MC ?BPC)         (instance ?H Human)         (attribute ?H Healthy))     (exists (?M ?BP)         (and             (instance ?M ?MC)             (instance ?BP ?BPC)             (part ?M ?H)             (part ?BP ?H)             (connects ?M ?BP))))	Anatomy.kif 1695-1706	Wenn muscleOrigin ** Muscle and ** BodyPart und Object ist ein fall von Human %n{nicht} und Healthy ist ein attribut von ** Object %n{nicht}, dann es gibt ** Object und ** Object um ** ** Object ist ein fall von ** Muscle %n{nicht} und ** ** Object ist ein fall von ** BodyPart %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object schleisst ** ** Object und an
(=>     (and         (musicGenre ?MR AcousticMusic)         (record ?MR ?MM))     (not         (exists (?I ?ED)             (and                 (instance ?I MusicalInstrument)                 (instrument ?MM ?I)                 (instance ?ED ElectricDevice)                 (part ?ED ?I)))))	Music.kif 559-569	Wenn musicGenre ContentBearingObject and AcousticMusic und record ** ContentBearingObject and Process, dann es gibt nicht Object und ** Object um ** Object ist ein fall von MusicalInstrument %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und ** ** Object ist ein fall von ElectricDevice %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}
(=>     (and         (partTypes ?PARTTYPE ?WHOLETYPE)         (instance ?PART ?PARTTYPE))     (exists (?WHOLE)         (and             (instance ?WHOLE ?WHOLETYPE)             (part ?PART ?WHOLE))))	Mid-level-ontology.kif 23754-23761	Wenn partTypes ** Object and ** ** Object und ** Object ist ein fall von ** Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht}
(=>     (and         (physicalEnd ?E1 ?O)         (physicalEnd ?E2 ?O)         (part ?P1 ?E1)         (part ?P2 ?E2)         (instance ?U UnitOfLength)         (distance ?P1 ?P2             (MeasureFn ?D1 ?U))         (not             (equal ?E1 ?E2)))     (not         (exists (?OP1 ?OP2 ?D2)             (and                 (not                     (part ?OP1 ?E1))                 (not                     (part ?OP2 ?E2))                 (distance ?OP1 ?OP2                     (MeasureFn ?D2 ?U))                 (greaterThan ?D2 ?D1)))))	Mid-level-ontology.kif 1295-1315	Wenn physicalEnd Object and ** Object und physicalEnd ** Object and ** ** Object und ** Object ist ein teil von ** Object %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und der abstand zwischen ** ** Object und ** ** Object ist RealNumber ** UnitOfMeasure(s) und ** Object ist gleich ** ** Object nicht, dann es gibt nicht ** ** ObjectP1, ** ** ObjectP2, and und ** RealNumber um ** ** ObjectP1 ist ein teil von ** Object nicht und ** ** ObjectP2 ist ein teil von ** ** Object nicht und der abstand zwischen ** ** ObjectP1 und ** ** ObjectP2 ist ** ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist groesserAls ** RealNumber %n{nicht}
(=>     (and         (property ?X Booting)         (instance ?X Computer))     (exists (?CD ?OS ?DT)         (and             (instance ?CD DigitalData)             (instance ?OS OperatingSystem)             (instance ?DT DataTransfer)             (during                 (WhenFn ?DT)                 (WhenFn ?X))             (destination ?DT ?X)             (part ?CD ?OS)             (objectTransferred ?DT ?CD))))	ComputingBrands.kif 3217-3229	Wenn Physical hat ein attribut Booting %n{nicht} und ** Physical ist ein fall von Computer %n{nicht}, dann es gibt Object, ** Object, and und Transfer um ** Object ist ein fall von DigitalData %n{nicht} und ** ** Object ist ein fall von OperatingSystem %n{nicht} und ** Transfer ist ein fall von DataTransfer %n{nicht} und die zeit des Bestehens von ** Transfer geschieht waehrend die zeit des Bestehens von ** Physical %n{nicht} und ** Transfer endet an ** Physical %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht} und objectTransferred ** Transfer and ** Object
(=>     (and         (resourceExhausted ?P ?R)         (instance ?R ?C))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?P))         (not             (exists (?OBJ1)                 (and                     (part ?OBJ1 ?R)                     (instance ?OBJ1 ?C))))))	Merge.kif 2537-2546	Wenn resourceExhausted Process and Object und ** Object ist ein fall von Class %n{nicht}, dann es gibt nicht entity um ** entity ist ein teil von ** Object %n{nicht} und ** entity ist ein fall von ** Class %n{nicht} haelt waehrend sofort nach die zeit des Bestehens von ** Process %n{nicht}
(=>     (and         (totalFacilityTypeInArea ?AREA             (ExtensionFn AirportWithUnpavedRunway) ?COUNT)         (greaterThan ?COUNT 0))     (exists (?AIRPORT ?RUNWAY)         (and             (instance ?AIRPORT Airport)             (instance ?RUNWAY UnpavedRunway)             (part ?RUNWAY ?AIRPORT)             (located ?AIRPORT ?AREA))))	Transportation.kif 1482-1491	Wenn totalFacilityTypeInArea GeographicArea, die kategorie, die AirportWithUnpavedRunway entspricht and NonnegativeInteger und ** NonnegativeInteger ist groesserAls 0 %n{nicht}, dann es gibt Object und ** Object um ** Object ist ein fall von Airport %n{nicht} und ** ** Object ist ein fall von UnpavedRunway %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** Object befindet sich an %n{nicht}
(=>     (and         (unitNumber ?UNITSTR ?PLACE)         (floorCode ?FLRCODE ?PLACE))     (exists (?UNIT ?FLOOR)         (and             (instance ?FLOOR BuildingLevel)             (instance ?UNIT Room)             (located ?UNIT ?FLOOR)             (part ?FLOOR ?PLACE)             (names ?UNITSTR ?UNIT)             (names ?FLRCODE ?FLOOR))))	Mid-level-ontology.kif 24631-24642	Wenn unitNumber SymbolicString and PostalPlace und floorCode ** SymbolicString and ** PostalPlace, dann es gibt Physical und Object um ** Object ist ein fall von BuildingLevel %n{nicht} und ** Physical ist ein fall von Room %n{nicht} und ** Physical befindet sich an %n{nicht} und ** Object ist ein teil von ** PostalPlace %n{nicht} und names ** SymbolicString and ** Physical und names ** ** SymbolicString and ** Object
(=>     (and         (wears ?H ?T)         (instance ?T Trousers))     (exists (?L)         (and             (instance ?L Leg)             (part ?L ?H)             (contains ?T ?L))))	Mid-level-ontology.kif 5168-5176	Wenn wears Animal and SelfConnectedObject und ** SelfConnectedObject ist ein fall von Trousers %n{nicht}, dann es gibt Object um ** Object ist ein fall von Leg %n{nicht} und ** Object ist ein teil von ** Animal %n{nicht} und contains ** SelfConnectedObject and ** Object
(=>     (and         (wears ?P ?C)         (instance ?C Collar))     (exists (?N)         (and             (instance ?N Neck)             (part ?N ?P)             (meetsSpatially ?C ?N))))	Mid-level-ontology.kif 5119-5127	Wenn wears Animal and WearableItem und ** WearableItem ist ein fall von Collar %n{nicht}, dann es gibt Object um ** Object ist ein fall von Neck %n{nicht} und ** Object ist ein teil von ** Animal %n{nicht} und ** WearableItem schliesst ** Object raeumlich an
(=>     (and         (wears ?P ?G)         (instance ?G Glove))     (exists (?H)         (and             (instance ?H Hand)             (part ?H ?P)             (meetsSpatially ?G ?H))))	Mid-level-ontology.kif 5134-5142	Wenn wears Animal and WearableItem und ** WearableItem ist ein fall von Glove %n{nicht}, dann es gibt Object um ** Object ist ein fall von Hand %n{nicht} und ** Object ist ein teil von ** Animal %n{nicht} und ** WearableItem schliesst ** Object raeumlich an
(=>     (and         (wears ?P ?S)         (instance ?S Sleeve))     (exists (?A)         (and             (instance ?A Arm)             (part ?A ?P)             (contains ?S ?A))))	Mid-level-ontology.kif 5272-5280	Wenn wears Animal and SelfConnectedObject und ** SelfConnectedObject ist ein fall von Sleeve %n{nicht}, dann es gibt Object um ** Object ist ein fall von Arm %n{nicht} und ** Object ist ein teil von ** Animal %n{nicht} und contains ** SelfConnectedObject and ** Object
(=>     (and         (wears ?P ?S)         (instance ?S Sock))     (exists (?F)         (and             (instance ?F Foot)             (part ?F ?P)             (contains ?S ?F))))	Mid-level-ontology.kif 5246-5254	Wenn wears Animal and SelfConnectedObject und ** SelfConnectedObject ist ein fall von Sock %n{nicht}, dann es gibt Object um ** Object ist ein fall von Foot %n{nicht} und ** Object ist ein teil von ** Animal %n{nicht} und contains ** SelfConnectedObject and ** Object
(=>     (and         (wears ?P ?T)         (instance ?T TieClothing))     (exists (?N)         (and             (instance ?N Neck)             (part ?N ?P)             (contains ?T ?N))))	Mid-level-ontology.kif 5085-5093	Wenn wears Animal and SelfConnectedObject und ** SelfConnectedObject ist ein fall von TieClothing %n{nicht}, dann es gibt Object um ** Object ist ein fall von Neck %n{nicht} und ** Object ist ein teil von ** Animal %n{nicht} und contains ** SelfConnectedObject and ** Object
(=>     (and         (wears ?PERSON ?HAT)         (instance ?HAT Hat))     (exists (?HEAD)         (and             (instance ?HEAD Head)             (part ?HEAD ?PERSON)             (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 5149-5157	Wenn wears Animal and WearableItem und ** WearableItem ist ein fall von Hat %n{nicht}, dann es gibt Object um ** Object ist ein fall von Head %n{nicht} und ** Object ist ein teil von ** Animal %n{nicht} und ** WearableItem schliesst ** Object raeumlich an
(=>     (and         (wears ?PERSON ?SHOE)         (instance ?SHOE Shoe))     (exists (?FOOT)         (and             (instance ?FOOT Foot)             (part ?FOOT ?PERSON)             (meetsSpatially ?SHOE ?FOOT))))	Mid-level-ontology.kif 5183-5191	Wenn wears Animal and WearableItem und ** WearableItem ist ein fall von Shoe %n{nicht}, dann es gibt Object um ** Object ist ein fall von Foot %n{nicht} und ** Object ist ein teil von ** Animal %n{nicht} und ** WearableItem schliesst ** Object raeumlich an
(=>     (atomicNumber ?TYPE ?NUMBER)     (=>         (and             (instance ?SUBSTANCE ?TYPE)             (part ?ATOM ?SUBSTANCE)             (instance ?ATOM Atom))         (equal ?NUMBER             (CardinalityFn                 (KappaFn ?PROTON                     (and                         (part ?PROTON ?ATOM)                         (instance ?PROTON Proton)))))))	Merge.kif 13800-13812	Wenn atomicNumber ** ElementalSubstance and PositiveInteger, dann wenn Object ist ein fall von ** ElementalSubstance %n{nicht} und ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein fall von Atom %n{nicht}, dann ** PositiveInteger ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(=>     (attribute ?AREA MountainousTerrain)     (exists (?MTN)         (and             (instance ?MTN Mountain)             (part ?MTN ?AREA))))	Geography.kif 1801-1806	Wenn MountainousTerrain ist ein attribut von Object %n{nicht}, dann es gibt ** Object um ** ** Object ist ein fall von Mountain %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}
(=>     (attribute ?AREA SteepTerrain)     (exists (?ZONE ?SLOPE)         (and             (part ?ZONE ?AREA)             (slopeGradient ?ZONE ?SLOPE)             (greaterThan ?SLOPE 0.1))))	Geography.kif 1779-1785	Wenn SteepTerrain ist ein attribut von Object %n{nicht}, dann es gibt LandArea und NonnegativeRealNumber um ** LandArea ist ein teil von ** Object %n{nicht} und slopeGradient ** LandArea and ** NonnegativeRealNumber und ** NonnegativeRealNumber ist groesserAls 0.1 %n{nicht}
(=>     (attribute ?F Vegan)     (and         (attribute ?F Vegetarian)         (not             (exists (?D)                 (and                     (instance ?D DairyArtifact)                     (part ?D ?F))))))	Food.kif 3532-3540	Wenn Vegan ist ein attribut von Object %n{nicht}, dann Vegetarian ist ein attribut von ** Object %n{nicht} und es gibt nicht ** Object um ** ** Object ist ein fall von DairyArtifact %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}
(=>     (attribute ?F Vegetarian)     (not         (exists (?M)             (and                 (instance ?M Meat)                 (part ?M ?F)))))	Food.kif 3523-3529	Wenn Vegetarian ist ein attribut von Object %n{nicht}, dann es gibt nicht ** Object um ** ** Object ist ein fall von Meat %n{nicht} und ** ** Object ist ein teil von ** 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