| appearance as argument number 1 |
|
| (documentation attribute ChineseLanguage "(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如：(&%attribute MyLittleRedWagon Red)。") | Merge.kif 1767-1768 | |
| (documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).") | Merge.kif 1764-1766 | |
| (domain attribute 1 Object) | Merge.kif 1763-1763 | |
| (instance attribute AsymmetricRelation) | Merge.kif 1759-1759 | |
| (instance attribute IrreflexiveRelation) | Merge.kif 1760-1760 | |
| (instance attribute TotalValuedRelation) | Merge.kif 1761-1761 | |
| (subrelation attribute property) | Merge.kif 1762-1762 |
| appearance as argument number 2 |
|
|
| (disjointRelation manner attribute) | Merge.kif 1775-1775 | |
| (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 56-56 | |
| (format FrenchLanguage attribute "%2 est %n un attribut de %1") | french_format.kif 56-56 | |
| (format PortugueseLanguage attribute "%2 e' %n um atributo de %1") | portuguese_format.kif 8-8 | |
| (format ar attribute "%2 هو %n صِفَة لِـ %1") | arabic_format.kif 6-6 | |
| (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 tg attribute "%1 %n may katangian ng %2") | relations-cb.txt 63-63 | |
| (subrelation bondRating attribute) | FinancialOntology.kif 2433-2433 | |
| (subrelation color attribute) | Mid-level-ontology.kif 17080-17080 | |
| (subrelation creditRanking attribute) | FinancialOntology.kif 2424-2424 | |
| (subrelation developmentalForm attribute) | Merge.kif 14295-14295 | |
| (subrelation deviceState attribute) | Mid-level-ontology.kif 2342-2342 | |
| (subrelation economyType attribute) | Economy.kif 86-86 | |
| (subrelation governmentType attribute) | Government.kif 130-130 | |
| (subrelation hasGUEState attribute) | ComputerInput.kif 1527-1527 | |
| (subrelation hasMolecularStructuralAttribute attribute) | VirusProteinAndCellPart.kif 118-118 | |
| (subrelation hostStatus attribute) | QoSontology.kif 2072-2072 | |
| (subrelation musicGenre attribute) | Music.kif 344-344 | |
| (subrelation organizationalObjective attribute) | Government.kif 2542-2542 | |
| (termFormat ChineseLanguage attribute "属于") | chinese_format.kif 60-60 | |
| (termFormat ar attribute "«صِفَة»") | arabic_format.kif 456-456 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (<=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity)) |
People.kif 797-801 | |
| (<=> (and (instance ?AGENT SentientAgent) (attribute ?AGENT Living)) (exists (?ATTR) (and (instance ?ATTR ConsciousnessAttribute) (attribute ?AGENT ?ATTR)))) |
Merge.kif 18649-18656 | |
| (<=> (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 28252-28262 | |
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 12702-12706 | |
| (<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2)))) |
Merge.kif 9934-9939 | |
| (<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 678-680 | |
| (<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 704-706 | |
| (<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1348-1350 | |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1227-1229 | |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1235-1237 | |
| (<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 722-724 | |
| (<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 759-761 | |
| (<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 771-773 | |
| (<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1308-1310 | |
| (<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1361-1363 | |
| (<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1249-1251 | |
| (<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1320-1322 | |
| (<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1409-1411 | |
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1332-1334 | |
| (<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1455-1457 | |
| (<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1263-1265 | |
| (<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1426-1428 | |
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1285-1287 | |
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1277-1279 | |
| (<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1376-1378 | |
| 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 18649-18656 | |
| (<=> (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON)))) (attribute ?PERSON Unemployed)) |
Merge.kif 17552-17558 | |
| (<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort))) |
Government.kif 1360-1364 | |
| (<=> (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 (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 (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 | |
| (<=> (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region))) (attribute ?REGION Illuminated)) |
Merge.kif 13569-13575 | |
| (<=> (instance ?B Bull) (and (instance ?B Cow) (attribute ?B Male))) |
Mid-level-ontology.kif 17892-17896 | |
| (<=> (instance ?C Calf) (and (instance ?C Cow) (attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 17884-17888 | |
| (<=> (instance ?COW FemaleCow) (and (instance ?COW Cow) (attribute ?COW Female))) |
Mid-level-ontology.kif 17901-17905 | |
| (<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 28172-28176 | |
| (<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 17918-17922 | |
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8652-8656 | |
| (<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 17871-17875 | |
| (<=> (instance ?OBJ Substance) (exists (?ATTR) (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17954-17959 | |
| (<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 17927-17931 | |
| (=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation)) |
Hotel.kif 2704-2706 | |
| (=> (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 14408-14417 | |
| (=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 18357-18364 | |
| (=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 16391-16397 | |
| (=> (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 10255-10265 | |
| (=> (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 17644-17657 | |
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 18077-18086 | |
| (=> (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 1202-1209 | |
| (decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SUBSTANCE)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 870-878 | |
| (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 (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 (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 (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 | |
| (exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION))) |
Food.kif 297-298 | |
| (increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 761-767 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners