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

Formal Language: 



KB Term:  Term intersection
English Word: 

  attribute

Sigma KEE - attribute
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 19385-19385 color ist eine teilrelation von attribut
(subrelation creditRanking attribute) FinancialOntology.kif 2501-2501 creditRanking ist eine teilrelation von attribut
(subrelation developmentalForm attribute) Merge.kif 14367-14367 developmentalForm ist eine teilrelation von attribut
(subrelation deviceState attribute) Mid-level-ontology.kif 1873-1873 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 30202-30212 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 15027-15031 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 und average ** List and ** RealNumber
(<=>
    (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 und average ** List and ** RealNumber
(<=>
    (attribute ?Q Queen)
    (or
        (attribute ?Q QueenRegnant)
        (attribute ?Q QueenConsort)))
Government.kif 1364-1368 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 17325-17333 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 20227-20231 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 20245-20249 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 20236-20240 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 30118-30122 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 20259-20263 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 9006-9010 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 20213-20217 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 20268-20272 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 16879-16888
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))
Mid-level-ontology.kif 20787-20794
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))
Mid-level-ontology.kif 18864-18870
(=>
    (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 1205-1212 Fuer alle ?AGENT, ?VOTER,, , ?ELECTION, and und ?VOTING enthaelt Informationen ueber ExclusiveMaleSuffrage
(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 863-872 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 886-897 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 924-937 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 20428-20428 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}


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