attribute |
appearance as argument number 1 |
(documentation attribute ChineseLanguage "(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如:(attribute MyLittleRedWagon Red)。") | chinese_format.kif 1714-1715 | |
(documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).") | Merge.kif 1723-1725 | |
(documentation attribute JapaneseLanguage "(attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例:(attribute MyLittleRedWagon Red)。") | japanese_format.kif 318-319 | |
(domain attribute 1 Object) | Merge.kif 1720-1720 | Die Zahl 1 Argument von attribut ist ein fall von Object %n{nicht} |
(domain attribute 2 Attribute) | Merge.kif 1721-1721 | Die Zahl 2 Argument von attribut ist ein fall von Attribute %n{nicht} |
(instance attribute AsymmetricRelation) | Merge.kif 1715-1715 | attribut ist ein fall von AsymmetricRelation %n{nicht} |
(instance attribute BinaryPredicate) | Merge.kif 1718-1718 | attribut ist ein fall von BinaryPredicate %n{nicht} |
(instance attribute IrreflexiveRelation) | Merge.kif 1716-1716 | attribut ist ein fall von IrreflexiveRelation %n{nicht} |
(instance attribute TotalValuedRelation) | Merge.kif 1717-1717 | attribut ist ein fall von TotalValuedRelation %n{nicht} |
(subrelation attribute property) | Merge.kif 1719-1719 | attribut ist eine teilrelation von eigenschaft |
appearance as argument number 2 |
(disjointRelation manner attribute) | Merge.kif 1734-1734 | weise und attribut werden disjunkt |
(format ChineseLanguage attribute "%2 %n 是 %1 的 attribute") | chinese_format.kif 59-59 | |
(format EnglishLanguage attribute "%2 is %n an attribute of %1") | english_format.kif 59-59 | |
(format FrenchLanguage attribute "%2 est %n un attribut de %1") | french_format.kif 56-56 | |
(format JapaneseLanguage attribute "%2 は %1 の attribute では %n") | japanese_format.kif 1878-1878 | |
(format PortugueseLanguage attribute "%2 e' %n um atributo de %1") | portuguese_format.kif 8-8 | |
(format cz attribute "%2 %p{je} %n{nen�} atributem %1") | relations-cz.txt 73-73 | |
(format de attribute "%2 ist ein attribut von %1 %n{nicht}") | relations-de.txt 65-65 | |
(format hi attribute "%1 kii eka visheshhataa %2 %n hai") | relations-hindi.txt 73-73 | |
(format ro attribute "%2 %n{nu} este un attribute%t{atribut} pentru %1") | relations-ro.kif 75-75 | |
(format sv attribute "%2 är %n{inte} ett attribut på %1") | relations-sv.txt 55-55 | |
(format tg attribute "%1 %n may katangian ng %2") | relations-cb.txt 63-63 | |
(subrelation bondRating attribute) | FinancialOntology.kif 2510-2510 | bondRating ist eine teilrelation von attribut |
(subrelation color attribute) | Mid-level-ontology.kif 19358-19358 | color ist eine teilrelation von attribut |
(subrelation creditRanking attribute) | FinancialOntology.kif 2501-2501 | creditRanking ist eine teilrelation von attribut |
(subrelation developmentalForm attribute) | Merge.kif 14321-14321 | developmentalForm ist eine teilrelation von attribut |
(subrelation deviceState attribute) | Mid-level-ontology.kif 1880-1880 | deviceState ist eine teilrelation von attribut |
(subrelation economyType attribute) | Economy.kif 86-86 | economyType ist eine teilrelation von attribut |
(subrelation governmentType attribute) | Government.kif 130-130 | governmentType ist eine teilrelation von attribut |
(subrelation hasGUEState attribute) | ComputerInput.kif 1882-1882 | hasGUEState ist eine teilrelation von attribut |
(subrelation hasMolecularStructuralAttribute attribute) | VirusProteinAndCellPart.kif 163-163 | hasMolecularStructuralAttribute ist eine teilrelation von attribut |
(subrelation hostStatus attribute) | QoSontology.kif 2109-2109 | hostStatus ist eine teilrelation von attribut |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
(<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B)))))) |
Mid-level-ontology.kif 30178-30188 | Entity ist ein fall von BodyPart %n{nicht} und Bare ist ein attribut von ** Entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht ** entity um ** ** entity ist ein fall von Clothing %n{nicht} und covers ** ** entity and ** Entity haelt waehrend ** TimePosition %n{nicht} |
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 15000-15004 | LiteracyAttribute ist ein attribut von AutonomousAgent %n{nicht} genau dann wenn ** AutonomousAgent hat die F�higkeit, zum Reading zu tun %n{nicht} und ** AutonomousAgent hat die F�higkeit, zum Writing zu tun %n{nicht} |
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 676-678 | BeliefGroupMemberFn BeliefGroup ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von ** BeliefGroup %n{nicht} |
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 702-704 | Agnostic ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Agnosticism %n{nicht} |
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1347-1349 | AhmadiyyaMuslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von AhmadiyyaSect %n{nicht} |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1225-1227 | Anglican ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Anglicanism %n{nicht} |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1233-1235 | Anglican ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von ChurchOfEngland %n{nicht} |
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 720-722 | Atheist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Atheism %n{nicht} |
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 757-759 | Bahai ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Bahaism %n{nicht} |
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 769-771 | Buddhist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Buddhism %n{nicht} |
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1306-1308 | Confucianist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Confucianism %n{nicht} |
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1361-1363 | DruzeMuslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von DruzeSect %n{nicht} |
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1247-1249 | EasternOrthodoxChristian ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von EasternOrthodoxChristianity %n{nicht} |
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1318-1320 | Hindu ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Hinduism %n{nicht} |
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1411-1413 | Jain ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Jainism %n{nicht} |
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1330-1332 | Muslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Islam %n{nicht} |
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1457-1459 | Neopaganismist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Neopaganism %n{nicht} |
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1261-1263 | Protestant ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Protestantism %n{nicht} |
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1428-1430 | ReligiousJew ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Judaism %n{nicht} |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1283-1285 | RomanCatholic ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von RomanCatholicChurch %n{nicht} |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1275-1277 | RomanCatholic ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von RomanCatholicism %n{nicht} |
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1377-1379 | ShiaMuslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von ShiiteSect %n{nicht} |
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1472-1474 | Shintoist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Shinto %n{nicht} |
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism)) |
People.kif 1487-1489 | Sikh ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Sikhism %n{nicht} |
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect)) |
People.kif 1396-1398 | SunniMuslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von SunniSect %n{nicht} |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 357-390 | Year ist ein fall von das jahr ** YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 403-436 | Year ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and ** Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, ** Integer,, , SymbolicString,, , entity,, , ** entity, and und ** entity um ** List ist ein fall von List %n{nicht} und Laenge von ** List ist ein fall von ** ** Integer %n{nicht} und fuer alle ** ListITEM
|
(<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort))) |
Government.kif 1400-1404 | Queen ist ein attribut von Object %n{nicht} genau dann wenn QueenRegnant ist ein attribut von ** Object %n{nicht} oder QueenConsort ist ein attribut von ** Object %n{nicht} |
(<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER))) |
People.kif 206-223 | MaleToFemaleRatioFn GeopoliticalArea ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ** Integer ist gleich die Zahl Faellen in die kategorie die ** SymbolicString beschreibt %n{nicht} und ** Integer und ** ** Integer ist gleich ** RealNumber %n{nicht} |
(<=> (hearingAcuity ?H (MeasureFn -10 Decibel) (MeasureFn 15 Decibel)) (attribute ?H NormalHearingSensitivity)) |
Medicine.kif 1783-1787 | hearingAcuity Human, -10 Decibel(s) and 15 Decibel(s) genau dann wenn NormalHearingSensitivity ist ein attribut von ** Human %n{nicht} |
(<=> (hearingAcuity ?H (MeasureFn 16 Decibel) (MeasureFn 25 Decibel)) (attribute ?H BorderlineHearingSensitivity)) |
Medicine.kif 1794-1798 | hearingAcuity Human, 16 Decibel(s) and 25 Decibel(s) genau dann wenn BorderlineHearingSensitivity ist ein attribut von ** Human %n{nicht} |
(<=> (hearingAcuity ?H (MeasureFn 26 Decibel) (MeasureFn 40 Decibel)) (attribute ?H MildHearingLoss)) |
Medicine.kif 1805-1809 | hearingAcuity Human, 26 Decibel(s) and 40 Decibel(s) genau dann wenn MildHearingLoss ist ein attribut von ** Human %n{nicht} |
(<=> (hearingAcuity ?H (MeasureFn 41 Decibel) (MeasureFn 55 Decibel)) (attribute ?H ModerateHearingLoss)) |
Medicine.kif 1815-1819 | hearingAcuity Human, 41 Decibel(s) and 55 Decibel(s) genau dann wenn ModerateHearingLoss ist ein attribut von ** Human %n{nicht} |
(<=> (hearingAcuity ?H (MeasureFn 56 Decibel) (MeasureFn 70 Decibel)) (attribute ?H ModeratelySevereHearingLoss)) |
Medicine.kif 1826-1830 | hearingAcuity Human, 56 Decibel(s) and 70 Decibel(s) genau dann wenn ModeratelySevereHearingLoss ist ein attribut von ** Human %n{nicht} |
(<=> (hearingAcuity ?H (MeasureFn 71 Decibel) (MeasureFn 90 Decibel)) (attribute ?H SevereHearingLoss)) |
Medicine.kif 1837-1841 | hearingAcuity Human, 71 Decibel(s) and 90 Decibel(s) genau dann wenn SevereHearingLoss ist ein attribut von ** Human %n{nicht} |
(<=> (hearingAcuity ?H (MeasureFn 91 Decibel) (MeasureFn 200 Decibel)) (attribute ?H ProfoundHearingLoss)) |
Medicine.kif 1848-1852 | hearingAcuity Human, 91 Decibel(s) and 200 Decibel(s) genau dann wenn ProfoundHearingLoss ist ein attribut von ** Human %n{nicht} |
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed))) |
Merge.kif 17254-17262 | Entity ist ein fall von Human %n{nicht} und fuer alle ** entity ** ** entity beschaeftigt ** entity nicht haelt waehrend TimePosition %n{nicht} genau dann wenn Unemployed ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht} |
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 20200-20204 | Object ist ein fall von Bull %n{nicht} genau dann wenn ** Object ist ein fall von Cattle %n{nicht} und Female ist ein attribut von ** Object %n{nicht} |
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 20218-20222 | Object ist ein fall von Bull %n{nicht} genau dann wenn ** Object ist ein fall von Cattle %n{nicht} und Male ist ein attribut von ** Object %n{nicht} |
(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 20209-20213 | Object ist ein fall von Calf %n{nicht} genau dann wenn ** Object ist ein fall von Cattle %n{nicht} und NonFullyFormed ist ein attribut von ** Object %n{nicht} |
(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30094-30098 | Object ist ein fall von DamagedVehicle %n{nicht} genau dann wenn ** Object ist ein fall von Vehicle %n{nicht} und DeviceDamaged ist ein attribut von ** Object %n{nicht} |
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 20232-20236 | Object ist ein fall von Hen %n{nicht} genau dann wenn ** Object ist ein fall von Chicken %n{nicht} und Female ist ein attribut von ** Object %n{nicht} |
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8979-8983 | Object ist ein fall von Ice %n{nicht} genau dann wenn ** Object ist ein fall von Water %n{nicht} und Solid ist ein attribut von ** Object %n{nicht} |
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 20186-20190 | Object ist ein fall von Lamb %n{nicht} genau dann wenn ** Object ist ein fall von Sheep %n{nicht} und NonFullyFormed ist ein attribut von ** Object %n{nicht} |
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 20241-20245 | Object ist ein fall von Rooster %n{nicht} genau dann wenn ** Object ist ein fall von Chicken %n{nicht} und Male ist ein attribut von ** Object %n{nicht} |
(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation)) |
Hotel.kif 2768-2770 |
|
(=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student))))) |
Mid-level-ontology.kif 16852-16861 |
|
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 20760-20767 |
|
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18837-18843 |
|
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 204-223 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA))))))) |
People.kif 456-469 | Year ist ein fall von das jahr Integer %n{nicht} und ChildrenBornPerWomanFn GeopoliticalArea and ** Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1241-1248 | Fuer alle ?AGENT, ?VOTER,, , ?ELECTION, and und ?VOTING
|
(decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 921-929 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM und biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS und ?SAMPLE ist ein fall von ?SUBSTANCE %n{nicht} und ?THERAPY ist ein fall von ?PROCESS %n{nicht} und ?ORGANISM erfaehrt ?THERAPY %n{nicht} und ?SAMPLE ist ein patient von ?THERAPY %n{nicht} verringert die Wahrscheinlichkeit von ?SYMPTOM ist ein attribut von ?ORGANISM %n{nicht} %n{nicht} |
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 872-881 | AvailableForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 895-906 | FitForMilitaryServiceMaleFn GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4590-4593 | Es gibt CognitiveAgent um NewReporter ist ein attribut von ** CognitiveAgent %n{nicht} und ProPublica beschaeftigt ** CognitiveAgent %n{nicht} |
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION))) |
Food.kif 1902-1903 | Es gibt Meal und Region um MealAttributeFn ** Meal and ** Region ist ein attribut von ** Meal %n{nicht} |
(increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM und biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE und ?PROCESS ist ein fall von ?PROCESSTYPE %n{nicht} und ?ORGANISM erfaehrt ?PROCESS %n{nicht} vergroessert die Wahrscheinlichkeit von ?SYMPTOM ist ein attribut von ?ORGANISM %n{nicht} %n{nicht} |
appearance as argument number 0 |
(attribute Hay Fodder) | Mid-level-ontology.kif 20401-20401 | Fodder ist ein attribut von Hay %n{nicht} |
(attribute SouthernOcean PolarClimateZone) | Geography.kif 4681-4681 | PolarClimateZone ist ein attribut von SouthernOcean %n{nicht} |
(attribute Tourniquet RelationalAttribute) | Medicine.kif 15-15 | RelationalAttribute ist ein attribut von Tourniquet %n{nicht} |