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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1627-1629
(domain attribute 1 Object) Merge.kif 1624-1624 domain attribute, 1 and Object
(domain attribute 2 Attribute) Merge.kif 1625-1625 domain attribute, 2 and Attribute
(instance attribute AsymmetricRelation) Merge.kif 1619-1619 instance attribute and AsymmetricRelation
(instance attribute BinaryPredicate) Merge.kif 1622-1622 instance attribute and BinaryPredicate
(instance attribute IrreflexiveRelation) Merge.kif 1620-1620 instance attribute and IrreflexiveRelation
(instance attribute TotalValuedRelation) Merge.kif 1621-1621 instance attribute and TotalValuedRelation
(subrelation attribute property) Merge.kif 1623-1623 subrelation attribute and property

appearance as argument number 2
-------------------------


(disjointRelation manner attribute) Merge.kif 1638-1638 disjointRelation manner and attribute
(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
(subrelation bondRating attribute) FinancialOntology.kif 2432-2432 subrelation bondRating and attribute
(subrelation color attribute) Mid-level-ontology.kif 17140-17140 subrelation color and attribute
(subrelation creditRanking attribute) FinancialOntology.kif 2423-2423 subrelation creditRanking and attribute
(subrelation developmentalForm attribute) Merge.kif 13259-13259 subrelation developmentalForm and attribute
(subrelation deviceState attribute) Mid-level-ontology.kif 2337-2337 subrelation deviceState and attribute
(subrelation economyType attribute) Economy.kif 86-86 subrelation economyType and attribute
(subrelation governmentType attribute) Government.kif 130-130 subrelation governmentType and attribute
(subrelation hasGUEState attribute) ComputerInput.kif 1897-1897 subrelation hasGUEState and attribute
(subrelation hasMolecularStructuralAttribute attribute) VirusProteinAndCellPart.kif 118-118 subrelation hasMolecularStructuralAttribute and attribute
(subrelation hostStatus attribute) QoSontology.kif 2115-2115 subrelation hostStatus and attribute
(subrelation musicGenre attribute) Music.kif 338-338 subrelation musicGenre and attribute
(subrelation organizationalObjective attribute) Government.kif 2536-2536 subrelation organizationalObjective and attribute
(termFormat ChineseLanguage attribute "属于") chinese_format.kif 60-60

antecedent
-------------------------


(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))		 People.kif 797-801 attribute Object and Attribute instance Attribute and Christian member Object and Christianity
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))		 Merge.kif 16924-16931 instance Object and SentientAgent attribute Object and Living Attribute instance Attribute and ConsciousnessAttribute attribute Object and Attribute
(<=>
    (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 28338-28348 instance Entity and BodyPart holdsDuring TimePosition and attribute Entity and Bare holdsDuring TimePosition and entity instance entity and Clothing covers entity and Entity
(<=>
    (attribute ?H LiteracyAttribute)
    (and
        (hasSkill Reading ?H)
        (hasSkill Writing ?H)))		 Mid-level-ontology.kif 12702-12706 attribute Agent and LiteracyAttribute hasSkill Reading and Agent hasSkill Writing and Agent
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 9341-9346 attribute Object and Fillable Object instance Object and Hole part Object and Object
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 678-680 attribute Object and BeliefGroupMemberFn BeliefGroup member Object and BeliefGroup
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 704-706 attribute Object and Agnostic member Object and Agnosticism
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1349-1351 attribute Object and AhmadiyyaMuslim member Object and AhmadiyyaSect
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1227-1229 attribute Object and Anglican member Object and Anglicanism
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1235-1237 attribute Object and Anglican member Object and ChurchOfEngland
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 722-724 attribute Object and Atheist member Object and Atheism
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 759-761 attribute Object and Bahai member Object and Bahaism
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 771-773 attribute Object and Buddhist member Object and Buddhism
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1308-1310 attribute Object and Confucianist member Object and Confucianism
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1363-1365 attribute Object and DruzeMuslim member Object and DruzeSect
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1249-1251 attribute Object and EasternOrthodoxChristian member Object and EasternOrthodoxChristianity
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1320-1322 attribute Object and Hindu member Object and Hinduism
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1413-1415 attribute Object and Jain member Object and Jainism
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1332-1334 attribute Object and Muslim member Object and Islam
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1459-1461 attribute Object and Neopaganismist member Object and Neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1263-1265 attribute Object and Protestant member Object and Protestantism
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1430-1432 attribute Object and ReligiousJew member Object and Judaism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1285-1287 attribute Object and RomanCatholic member Object and RomanCatholicChurch
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1277-1279 attribute Object and RomanCatholic member Object and RomanCatholicism
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1379-1381 attribute Object and ShiaMuslim member Object and ShiiteSect

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))		 Merge.kif 16924-16931 instance Object and SentientAgent attribute Object and Living Attribute instance Attribute and ConsciousnessAttribute attribute Object and Attribute
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))		 Merge.kif 16020-16026 instance CognitiveAgent and Human Agent employs Agent and CognitiveAgent attribute CognitiveAgent and Unemployed
(<=>
    (attribute ?Q Queen)
    (or
        (attribute ?Q QueenRegnant)
        (attribute ?Q QueenConsort)))		 Government.kif 1354-1358 attribute Object and Queen attribute Object and QueenRegnant attribute Object and QueenConsort
(<=>
    (equal
        (FemaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 411-442 equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber
(<=>
    (equal
        (MaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 367-398 equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM average List and RealNumber
(<=>
    (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 221-238 equal MaleToFemaleRatioFn GeopoliticalArea and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male inhabits SymbolicString and GeopoliticalArea equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Female inhabits SymbolicString and GeopoliticalArea equal DivisionFn Integer and Integer and RealNumber
(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))		 Merge.kif 12622-12628 Process instance Process and RadiatingLight patient Process and Object instance Object and Region attribute Object and Illuminated
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cow)
        (attribute ?B Male)))		 Mid-level-ontology.kif 17952-17956 instance Object and Bull instance Object and Cow attribute Object and Male
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cow)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 17944-17948 instance Object and Calf instance Object and Cow attribute Object and NonFullyFormed
(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))		 Mid-level-ontology.kif 17961-17965 instance Object and FemaleCow instance Object and Cow attribute Object and Female
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 28258-28262 instance Object and DamagedVehicle instance Object and Vehicle attribute Object and DeviceDamaged
(<=>
    (instance ?H Hen)
    (and
        (instance ?H Chicken)
        (attribute ?H Female)))		 Mid-level-ontology.kif 17978-17982 instance Object and Hen instance Object and Chicken attribute Object and Female
(<=>
    (instance ?ICE Ice)
    (and
        (instance ?ICE Water)
        (attribute ?ICE Solid)))		 Mid-level-ontology.kif 8655-8659 instance Object and Ice instance Object and Water attribute Object and Solid
(<=>
    (instance ?L Lamb)
    (and
        (instance ?L Sheep)
        (attribute ?L NonFullyFormed)))		 Mid-level-ontology.kif 17931-17935 instance Object and Lamb instance Object and Sheep attribute Object and NonFullyFormed
(<=>
    (instance ?OBJ Substance)
    (exists (?ATTR)
        (and
            (instance ?ATTR PhysicalState)
            (attribute ?OBJ ?ATTR))))		 Merge.kif 16338-16343 instance Object and Substance Attribute instance Attribute and PhysicalState attribute Object and Attribute
(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))		 Mid-level-ontology.kif 17987-17991 instance Object and Rooster instance Object and Chicken attribute Object and Male
(=>
    (accommodationProvider ?PKG ?HOTEL)
    (attribute ?HOTEL TravelerAccommodation))		 Hotel.kif 2710-2712
(=>
    (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 14409-14418
(=>
    (and
        (actedIn ?ACTOR ?O)
        (instance ?PERF DramaticActing)
        (patient ?PERF ?ACTOR)
        (result ?PERF ?O))
    (holdsDuring
        (WhenFn ?PERF)
        (attribute ?ACTOR Actor)))		 Mid-level-ontology.kif 18417-18424
(=>
    (and
        (agent ?PROCESS ?AGENT)
        (result ?PROCESS ?WORK)
        (instance ?WORK ArtWork))
    (holdsDuring
        (WhenFn ?PROCESS)
        (attribute ?AGENT Artist)))		 Mid-level-ontology.kif 16510-16516
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))		 ArabicCulture.kif 193-210
(=>
    (and
        (attribute ?O ?P)
        (instance ?P Fingerprint)
        (not
            (instance ?O Finger)))
    (exists (?PR ?F)
        (and
            (instrument ?PR ?F)
            (instance ?F Finger)
            (attribute ?F ?P)
            (patient ?PR ?O))))		 Mid-level-ontology.kif 10258-10268
(=>
    (and
        (attribute ?OBJ ?ATR)
        (instance ?ATR SubjectiveAssessmentAttribute))
    (exists (?TIME ?JUDGE ?AGENT)
        (and
            (instance ?JUDGE Judging)
            (agent ?JUDGE ?AGENT)
            (patient ?JUDGE ?OBJ)
            (patient ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))		 Merge.kif 16096-16109
(=>
    (and
        (attribute ?OBJ Monochromatic)
        (superficialPart ?PART ?OBJ)
        (attribute ?PART ?COLOR)
        (instance ?COLOR PrimaryColor))
    (forall (?ELEMENT)
        (=>
            (superficialPart ?ELEMENT ?OBJ)
            (attribute ?ELEMENT ?COLOR))))		 Merge.kif 16437-16446
(=>
    (and
        (attribute ?OFFICER ?COR)
        (instance ?COR CommissionedOfficerRank))
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))		 Military.kif 286-297

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)		 Government.kif 1195-1202 containsInformation ?AGENT ?VOTER, ?ELECTION and ?VOTING and 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 879-887 decreasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS instance ?SAMPLE and ?SUBSTANCE instance ?THERAPY and ?PROCESS experiencer ?THERAPY and ?ORGANISM patient ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM
(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 867-876 equal AvailableForMilitaryServiceMaleFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male militaryAge GeopoliticalArea and entity age SymbolicString and entity greaterThanOrEqualTo entity and entity inhabits SymbolicString and GeopoliticalArea
(equal
    (ChildrenBornPerWomanFn ?AREA
        (YearFn ?YEAR))
    (CardinalityFn
        (KappaFn ?INFANT
            (and
                (instance ?BIRTH Birth)
                (experiencer ?BIRTH ?INFANT)
                (agent ?BIRTH ?WOMAN)
                (instance ?WOMAN Human)
                (attribute ?WOMAN Female)
                (holdsDuring
                    (YearFn ?YEAR)
                    (inhabits ?WOMAN ?AREA))))))		 People.kif 462-472 equal ChildrenBornPerWomanFn GeopoliticalArea and YearFn Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and SymbolicString agent entity and entity instance entity and Human attribute entity and Female holdsDuring YearFn Integer and inhabits entity and GeopoliticalArea
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (instance ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 890-901 equal FitForMilitaryServiceMaleFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male instance entity and MilitaryProcess fitForMilitaryService SymbolicString and entity militaryAge GeopoliticalArea and entity age SymbolicString and entity greaterThanOrEqualTo entity and entity inhabits SymbolicString and GeopoliticalArea
(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 928-941 equal ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male militaryAge GeopoliticalArea and entity equal entity and SubtractionFn entity and 1 holdsDuring Year and age SymbolicString and entity age SymbolicString and entity equal entity and entity inhabits SymbolicString and GeopoliticalArea
(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))		 Food.kif 248-249 Meal Region attribute Meal and MealAttributeFn Meal and Region
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 762-768 increasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE instance ?PROCESS and ?PROCESSTYPE experiencer ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM