attribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).")	Merge.kif 1758-1760
(domain attribute 1 Object)	Merge.kif 1755-1755	The number 1 argument of attribute is an instance of object
(domain attribute 2 Attribute)	Merge.kif 1756-1756	The number 2 argument of attribute is an instance of attribute
(instance attribute AsymmetricRelation)	Merge.kif 1750-1750	attribute is an instance of asymmetric relation
(instance attribute BinaryPredicate)	Merge.kif 1753-1753	attribute is an instance of binary predicate
(instance attribute IrreflexiveRelation)	Merge.kif 1751-1751	attribute is an instance of irreflexive relation
(instance attribute TotalValuedRelation)	Merge.kif 1752-1752	attribute is an instance of total valued relation
(subrelation attribute property)	Merge.kif 1754-1754	attribute is a subrelation of property

appearance as argument number 2

(disjointRelation manner attribute)	Merge.kif 1769-1769	manner and attribute are disjoint
(format EnglishLanguage attribute "%2 is %n an attribute of %1")	english_format.kif 59-59	manner and attribute are disjoint
(subrelation bondRating attribute)	FinancialOntology.kif 2527-2527	bond rating is a subrelation of attribute
(subrelation color attribute)	Mid-level-ontology.kif 21086-21086	color is a subrelation of attribute
(subrelation creditRanking attribute)	FinancialOntology.kif 2518-2518	credit ranking is a subrelation of attribute
(subrelation developmentalForm attribute)	Merge.kif 14496-14496	developmental form is a subrelation of attribute
(subrelation deviceState attribute)	Mid-level-ontology.kif 2343-2343	device state is a subrelation of attribute
(subrelation economyType attribute)	Economy.kif 86-86	economy type is a subrelation of attribute
(subrelation governmentType attribute)	Government.kif 130-130	government type is a subrelation of attribute
(subrelation hasMolecularStructuralAttribute attribute)	VirusProteinAndCellPart.kif 167-167	has molecular structural attribute is a subrelation of attribute
(subrelation hostStatus attribute)	QoSontology.kif 2241-2241	host status is a subrelation of attribute
(subrelation musicGenre attribute)	Music.kif 341-341	music genre is a subrelation of attribute
(subrelation organizationalObjective attribute)	Government.kif 2556-2556	organizational objective is a subrelation of attribute
(termFormat EnglishLanguage attribute "attribute")	domainEnglishFormat.kif 65777-65777	organizational objective is a subrelation of attribute

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 32625-32635	An entity is an instance of body part and bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H)))	Mid-level-ontology.kif 16451-16455	Literacy attribute is an attribute of an agent if and only if the agent has the skill to do reading and the agent has the skill to do writing
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG))	People.kif 676-678	A member of a belief group is an attribute of an object if and only if the object is a member of the belief group
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	Agnostic is an attribute of an object if and only if the object is a member of agnosticism
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1348-1350	Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism))	People.kif 1226-1228	Anglican is an attribute of an object if and only if the object is a member of anglicanism
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1234-1236	Anglican is an attribute of an object if and only if the object is a member of church of england
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism))	People.kif 720-722	Atheist is an attribute of an object if and only if the object is a member of atheism
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism))	People.kif 757-759	Bahai is an attribute of an object if and only if the object is a member of bahaism
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism))	People.kif 769-771	Buddhist is an attribute of an object if and only if the object is a member of buddhism
(<=> (attribute ?INDIVIDUAL Capitalist) (member ?INDIVIDUAL Capitalism))	Economy.kif 923-925	Capitalist is an attribute of an object if and only if the object is a member of capitalism
(<=> (attribute ?INDIVIDUAL Communism) (member ?INDIVIDUAL Communism))	Economy.kif 895-897	Communism is an attribute of an object if and only if the object is a member of communism
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism))	People.kif 1307-1309	Confucianist is an attribute of an object if and only if the object is a member of confucianism
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect))	People.kif 1362-1364	Druze muslim is an attribute of an object if and only if the object is a member of druze sect
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1248-1250	Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism))	People.kif 1319-1321	Hindu is an attribute of an object if and only if the object is a member of hinduism
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism))	People.kif 1412-1414	Jain is an attribute of an object if and only if the object is a member of jainism
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam))	People.kif 1331-1333	Muslim is an attribute of an object if and only if the object is a member of islam
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism))	People.kif 1458-1460	Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism))	People.kif 1262-1264	Protestant is an attribute of an object if and only if the object is a member of protestantism
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1429-1431	Religious jew is an attribute of an object if and only if the object is a member of judaism
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1284-1286	Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism))	People.kif 1276-1278	Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect))	People.kif 1378-1380	Shia muslim is an attribute of an object if and only if the object is a member of shiite sect
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto))	People.kif 1473-1475	Shintoist is an attribute of an object if and only if the object is a member of shinto

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	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=> (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	A year is an instance of the year an integer and equal the female life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort)))	Government.kif 1362-1366	Queen is an attribute of an object if and only if Queen regnant is an attribute of the object or Queen consort is an attribute of the object
(<=> (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	equal the male to female ratio of a geopolitical area and a real number if and only if equal an integer and the number of instances in the class described by a symbolic string and equal another integer and the number of instances in the class described by another symbolic string and equal the integer and the other integer and the real number
(<=> (hearingAcuity ?H (MeasureFn -10 Decibel) (MeasureFn 15 Decibel)) (attribute ?H NormalHearingSensitivity))	Medicine.kif 1763-1767	A human can hear frequency of -10 dB(A)(s) at 15 dB(A)(s) decibels if and only if normal hearing sensitivity is an attribute of the human
(<=> (hearingAcuity ?H (MeasureFn 16 Decibel) (MeasureFn 25 Decibel)) (attribute ?H BorderlineHearingSensitivity))	Medicine.kif 1774-1778	A human can hear frequency of 16 dB(A)(s) at 25 dB(A)(s) decibels if and only if borderline hearing sensitivity is an attribute of the human
(<=> (hearingAcuity ?H (MeasureFn 26 Decibel) (MeasureFn 40 Decibel)) (attribute ?H MildHearingLoss))	Medicine.kif 1785-1789	A human can hear frequency of 26 dB(A)(s) at 40 dB(A)(s) decibels if and only if mild hearing loss is an attribute of the human
(<=> (hearingAcuity ?H (MeasureFn 41 Decibel) (MeasureFn 55 Decibel)) (attribute ?H ModerateHearingLoss))	Medicine.kif 1795-1799	A human can hear frequency of 41 dB(A)(s) at 55 dB(A)(s) decibels if and only if moderate hearing loss is an attribute of the human
(<=> (hearingAcuity ?H (MeasureFn 56 Decibel) (MeasureFn 70 Decibel)) (attribute ?H ModeratelySevereHearingLoss))	Medicine.kif 1806-1810	A human can hear frequency of 56 dB(A)(s) at 70 dB(A)(s) decibels if and only if moderately severe hearing loss is an attribute of the human
(<=> (hearingAcuity ?H (MeasureFn 71 Decibel) (MeasureFn 90 Decibel)) (attribute ?H SevereHearingLoss))	Medicine.kif 1817-1821	A human can hear frequency of 71 dB(A)(s) at 90 dB(A)(s) decibels if and only if severe hearing loss is an attribute of the human
(<=> (hearingAcuity ?H (MeasureFn 91 Decibel) (MeasureFn 200 Decibel)) (attribute ?H ProfoundHearingLoss))	Medicine.kif 1828-1832	A human can hear frequency of 91 dB(A)(s) at 200 dB(A)(s) decibels if and only if profound hearing loss is an attribute of the human
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17451-17459	An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female)))	Mid-level-ontology.kif 22263-22267	An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object
(<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male)))	Mid-level-ontology.kif 22281-22285	An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object
(<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 22272-22276	An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object
(<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 32515-32519	An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object
(<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female)))	Mid-level-ontology.kif 22295-22299	An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object
(<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid)))	Mid-level-ontology.kif 10179-10183	An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
(<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 22249-22253	An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object
(<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male)))	Mid-level-ontology.kif 22304-22308	An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object
(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation))	Hotel.kif 2779-2781	If an organization provides a hotel package, then traveler accommodation is an attribute of the organization
(=> (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 18314-18323	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at the post secondary school and student is an attribute of the human holds during the time of existence of the process
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 22823-22830	If a human acted in a content bearing physical. and a process is an instance of dramatic acting and the human is a patient of the process and the content bearing physical is a result of the process, then actor is an attribute of the human holds during the time of existence of the process
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist)))	Mid-level-ontology.kif 20565-20571	If an agent is an agent of a process and an entity is a result of the process and the entity is an instance of art work, then artist is an attribute of the agent holds during the time of existence of the process
(=> (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	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation

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	A year is an instance of the year an integer and equal the children born per woman of a geopolitical area and the year and the number of instances in the class described by a symbolic string
(containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage)	Government.kif 1203-1210	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of the election of ?AGENT and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER contains information exclusive male suffrage
(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	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
(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 939-948	equal the available for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
(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 962-973	equal the fit for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
(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 1000-1013	equal the reaching military age annually male of a geopolitical area and a year and the number of instances in the class described by a symbolic string
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H)))	Medicine.kif 4569-4572	There exists a cognitive agent such that NewReporter is an attribute of the cognitive agent and Pro Publica Inc. employs the cognitive agent
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION)))	Food.kif 1908-1909	There exist a meal and a region such that the appropriate meal for the meal in the region is an attribute of the meal
(increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM))	WMD.kif 767-773	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

appearance as argument number 0

(attribute Hay Fodder)	Mid-level-ontology.kif 22464-22464	Fodder is an attribute of hay
(attribute SouthernOcean PolarClimateZone)	Geography.kif 6220-6220	Polar climate zone is an attribute of southern ocean
(attribute Tourniquet RelationalAttribute)	Medicine.kif 15-15	Relational attribute is an attribute of tourniquet

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: