From 3950800725af3c480655a8cd104169e1947f30bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Per=20Nordl=C3=B6w?= Date: Mon, 21 Aug 2017 00:23:02 +0200 Subject: [PATCH 1/2] Various bugfix --- development/Biography.kif | 686 +++++++++++++++++++------------------- 1 file changed, 343 insertions(+), 343 deletions(-) diff --git a/development/Biography.kif b/development/Biography.kif index 0850f9bb..d48bc20c 100755 --- a/development/Biography.kif +++ b/development/Biography.kif @@ -5,23 +5,23 @@ ;; Created by: Valeria de Paiva (vdepaiva [at] reardencommerce [dot] com) ;; Created on: August 10, 2011 -;; -;; Description: This describes concepts related to biographies in Wikipedia, +;; +;; Description: This describes concepts related to biographies in Wikipedia, ;; starting with the attributes described in Infoboxes. ;; They are organized in templates described in http://en.wikipedia.org/wiki/Category:Infobox_templates -;; Ontology dependencies for Biography.kif: +;; Ontology dependencies for Biography.kif: ;; Merge.kif -;; Mid-level-ontology.kif, +;; Mid-level-ontology.kif, ;; Media.kif -;; Access to and use of these products is governed by the GNU General Public -;; License . +;; Access to and use of these products is governed by the GNU General Public +;; License . ;; By using these products, you agree to be bound by the terms of the GPL. ;; We ask the people using or referencing this work cite our primary paper: -;; Niles, I., and Pease, A. 2001. Towards a Standard Upper Ontology. In -;; Proceedings of the 2nd International Conference on Formal Ontology in -;; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds, +;; Niles, I., and Pease, A. 2001. Towards a Standard Upper Ontology. In +;; Proceedings of the 2nd International Conference on Formal Ontology in +;; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds, ;; Ogunquit, Maine, October 17-19, 2001. See also http://www.ontologyportal.org ;;;---------------------------------------------------------------------------- ;;; 0. Propositional Content of a ContentBearingProcess @@ -29,23 +29,23 @@ ;;; Communication is a "A social interaction that involves the transfer of information between two or more cognitive agents." ;;; We need to be able to refer to the information transferred between the cognitive agents. -;;; Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring. +;;; Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring. ;;; All the content bearing processes subsumed by these six kinds of communication have a propositional content associated to them. -;;; Declaring is "The class of linguistic communications that effect an institutional alteration when performed by competent authority. +;;; Declaring is "The class of linguistic communications that effect an institutional alteration when performed by competent authority. ;;; Some examples are nominating, marrying, and excommunicating." Any declaring has a propositional content corresponding to what was declared. -;;; (Might have to push this up to all "LinguisticCommunications", but it is certainly true for any declarings. +;;; (Might have to push this up to all "LinguisticCommunications", but it is certainly true for any declarings. ;;; A declaring also has an agent who declared it, a declarator. ;;; We model it with a new CaseRole that is a subrelation of patient and takes a ContentBearingProcess and a Proposition. (documentation propositionalContentOf EnglishLanguage "(propositionalContentOf ?PROCESS ?ENTITY) means that ?ENTITY is the propositional content of the - ?PROCESS which is a ContentBearingProcess. For example, the propositional complement in the sentences 'The judge declared Mary and Ed husband and wife' + ?PROCESS which is a ContentBearingProcess. For example, the propositional complement in the sentences 'The judge declared Mary and Ed husband and wife' and 'Bill appointed Mary the new CEO of the beer company' would be `Mary and Ed are husband and wife' and `Mary is the new CEO of the beer company'.") - + (subrelation propositionalContentOf patient) -(domain propositionalContentOf 1 ContentBearingProcess) -(domain propositionalContentOf 2 Proposition) +(domain propositionalContentOf 1 ContentBearingProcess) +(domain propositionalContentOf 2 Proposition) (instance propositionalContentOf CaseRole) ; since a wedding is a Declaring, we need the person who declares x and y spouses of each other. @@ -56,35 +56,35 @@ (and (instance ?WED Declaring) (agent ?WED ?PERSON)))) - -;;; In SUMO a Declaring is an official pronunciation, -;;; so the declarator should be a competent authority. - + +;;; In SUMO a Declaring is an official pronunciation, +;;; so the declarator should be a competent authority. + (=> (instance ?WED ReligiousWedding) (exists (?PERSON) (and (instance ?WED Declaring) (agent ?WED ?PERSON) - (instance ?PERSON Cleric)))) - -; the propositional content of a wedding declaration is that there are two persons that are spouses of each other. -; perhaps it's best to say that after the wedding they're spouses, before they are not. need to read about Events -(=> + (instance ?PERSON Cleric)))) + +; the propositional content of a wedding declaration is that there are two persons that are spouses of each other. +; perhaps it's best to say that after the wedding they're spouses, before they are not. need to read about Events +(=> (instance ?WED Wedding) (exists (?PROP) - (and + (and (propositionalContentOf ?WED ?PROP) - (equal ?PROP + (equal ?PROP (exists (?PERSON1 ?PERSON2) (spouse ?PERSON1 ?PERSON2)))))) -;;------------------------------------------------------------------------------------------------------------- -;; CEREMONIES +;;------------------------------------------------------------------------------------------------------------- +;; CEREMONIES (documentation Coronation EnglishLanguage "A coronation is a &%Ceremony marking the formal investiture of a &%Monarch and/or their consort with regal power, usually involving the placement of a &%Crown upon their &%Head.") (subclass Crown Artifact) -(documentation Crown EnglishLanguage "a wreath or garland worn on the head to signify victory.") -(subclass Coronation Ceremony) -(subclass Coronation Appointing) +(documentation Crown EnglishLanguage "a wreath or garland worn on the head to signify victory.") +(subclass Coronation Ceremony) +(subclass Coronation Appointing) (=> (instance ?C Coronation) (exists (?H1 ?H2) @@ -95,7 +95,7 @@ (ImmediateFutureFn (WhenFn ?C)) (occupiesPosition ?H2 Monarch))))) - + (subclass BarMitzvah Ceremony) (subclass BarMitzvah Declaring) (documentation BarMitzvah EnglishLanguage "An initiation ceremony marking the 13th birthday of a Jewish boy.") @@ -105,11 +105,11 @@ (holdsDuring (ImmediateFutureFn (WhenFn ?BM)) - (attribute ?PERSON FullyFormed)))) - -; In general religious use, ordination is the process by which individuals are consecrated, -; that is, set apart as clergy to perform various religious rites and ceremonies. - + (attribute ?PERSON FullyFormed)))) + +; In general religious use, ordination is the process by which individuals are consecrated, +; that is, set apart as clergy to perform various religious rites and ceremonies. + (subclass Ordination Declaring) (documentation Ordination EnglishLanguage "the act of ordaining; the act of conferring (or receiving) holy orders.") (=> @@ -122,9 +122,9 @@ (ImmediateFutureFn (WhenFn ?ORD)) (occupiesPosition ?H2 Cleric))))) - -; Beatification (from Latin beatus, blessed) is a recognition accorded by the Catholic Church of a dead person's entrance into Heaven. A person who is beatified is given the title "Blessed". -(subclass Beatification Declaring) + +; Beatification (from Latin beatus, blessed) is a recognition accorded by the Catholic Church of a dead person's entrance into Heaven. A person who is beatified is given the title "Blessed". +(subclass Beatification Declaring) (documentation Beatification EnglishLanguage "An act of the Pope who declares that a deceased person holy, the first step towards canonization.") (subclass Blessed ReligiousPosition) (documentation Blessed EnglishLanguage "A person who is beatified is given the title of Blessed.") @@ -138,8 +138,8 @@ (holdsDuring (ImmediateFutureFn (WhenFn ?ORD)) - (occupiesPosition ?H2 Blessed))))) -; Founding is also a Declaring, the declarator in this case is a Founder + (occupiesPosition ?H2 Blessed))))) +; Founding is also a Declaring, the declarator in this case is a Founder (instance Founder SocialRole) (documentation Founder EnglishLanguage "A person who founds or establishes some institution.") @@ -147,12 +147,12 @@ (instance ?P Founder) (and (instance ?FOUNDING Founding) - (agent ?FOUNDING ?P))) + (agent ?FOUNDING ?P))) ;;;---------------------------------------------------------------------------- ;;; 1. What kind of biographies do we have in Wikipedia? ;;;---------------------------------------------------------------------------- ;;; Examples: Actors, Composers, Artists, politicians, etc.. -;;; Examples: Brad Pitt, Billy Bragg, Henri Matisse, Churchill, +;;; Examples: Brad Pitt, Billy Bragg, Henri Matisse, Churchill, ;;; Marilyn Monroe, Angela Merkel ;; A basic infobox template in Wikipedia has (SUMO equivalents after the equality): @@ -197,7 +197,7 @@ (birthplace ?P ?PLACE) (birthdate ?P ?DATE) (issuedBy ?BC ?ORG)))) - + (=> (instance ?MC MarriageCertificate) (exists (?P1 ?P2 ?M ?ORG ?DATE) @@ -209,8 +209,8 @@ (experiencer ?M ?P2) (instance ?ORG Organization) (weddingdate ?P ?DATE) - (issuedBy ?BC ?ORG)))) - + (issuedBy ?BC ?ORG)))) + (=> (instance ?DC DeathCertificate) (exists (?P ?D ?ORG ?PLACE ?DATE) @@ -222,8 +222,8 @@ (instance ?PLACE City) (deathplace ?P ?PLACE) (deathdate ?P ?DATE) - (issuedBy ?BC ?ORG)))) - + (issuedBy ?BC ?ORG)))) + (=> (instance ?BC BaptismCertificate) (exists (?P ?B ?ORG ?PLACE ?DATE) @@ -235,23 +235,23 @@ (instance ?PLACE City) (baptismplace ?P ?PLACE) (baptismdate ?P ?DATE) - (issuedBy ?BC ?ORG)))) - -; after birthplace in Mid-level-ontology.kif 17685-17686 -(documentation weddingdate EnglishLanguage "(weddingdate ?PERSON1 ?PERSON2 ?DAY) means that ?DAY is the day on which ?PERSON1 and ?PERSON2 were married.") -(domain weddingdate 1 Human) -(domain weddingdate 2 Human) -(domain birthdate 2 Day) + (issuedBy ?BC ?ORG)))) + +; after birthplace in Mid-level-ontology.kif 17685-17686 +(documentation weddingdate EnglishLanguage "(weddingdate ?PERSON1 ?PERSON2 ?DAY) means that ?DAY is the day on which ?PERSON1 and ?PERSON2 were married.") +(domain weddingdate 1 Human) +(domain weddingdate 2 Human) +(domain birthdate 2 Day) (instance weddingdate TernaryPredicate) -(documentation baptismdate EnglishLanguage "(baptismdate ?PERSON1 ?DAY) means that ?DAY is the day on which ?PERSON1 was baptized.") -(domain baptismdate 1 Human) -(domain baptismdate 2 Day) +(documentation baptismdate EnglishLanguage "(baptismdate ?PERSON1 ?DAY) means that ?DAY is the day on which ?PERSON1 was baptized.") +(domain baptismdate 1 Human) +(domain baptismdate 2 Day) (instance baptismdate BinaryPredicate) -(documentation baptismplace EnglishLanguage "(baptismplace ?PERSON ?LOC) means that ?LOC is the place where the ?PERSON was baptized.") -(domain baptismplace 1 Human) -(domain baptismplace 2 City) +(documentation baptismplace EnglishLanguage "(baptismplace ?PERSON ?LOC) means that ?LOC is the place where the ?PERSON was baptized.") +(domain baptismplace 1 Human) +(domain baptismplace 2 City) (instance baptismplace BinaryPredicate) (subclass ReligiousBurial Funeral) @@ -263,12 +263,12 @@ (and (instance ?BE Burying) (subProcess ?BE ?RB)))) - -; wikipedia infobox also talks about Resting Place as well as b -(documentation burialplace EnglishLanguage "(burialplace ?PERSON ?REGION) means that ?REGION is the place where ?PERSON was buried.") -(domain burialplace 1 Human) -(domain burialplace 2 Region) -(instance burialplace BinaryPredicate) + +; wikipedia infobox also talks about Resting Place as well as b +(documentation burialplace EnglishLanguage "(burialplace ?PERSON ?REGION) means that ?REGION is the place where ?PERSON was buried.") +(domain burialplace 1 Human) +(domain burialplace 2 Region) +(instance burialplace BinaryPredicate) (subclass BirthName String) (documentation BirthName EnglishLanguage "Birth name is the name a child is given by his or her parents, according to a generally universal custom, and legal requirements.") @@ -296,35 +296,35 @@ (not (equal ?ON ?NAME))))) -;;; SUMO also has formerName (Mid-level-ontology.kif 9419-9420) but it seems that this is mostly for institutions that actually changed their names +;;; SUMO also has formerName (Mid-level-ontology.kif 9419-9420) but it seems that this is mostly for institutions that actually changed their names ;;; SUMO has also keyName (Medi.kif 2934) and (alias ?STRING ?AGENT) in MILO 16817, but alias is about deception -;;; Perhaps issues of names of people should be in some law ontology, when such exists. +;;; Perhaps issues of names of people should be in some law ontology, when such exists. ;;;------------------------------------------------------------------------------- -;;; Nationality is membership of a nation or sovereign state, granted by that state. +;;; Nationality is membership of a nation or sovereign state, granted by that state. ;;; SUMO has the relation (citizen ?PERSON ?NATION) will use that for nationality. -;;; wikipedia has very different standards for that e.g Nicole Kidman, Albert Einstein, Paul Dirac +;;; wikipedia has very different standards for that e.g Nicole Kidman, Albert Einstein, Paul Dirac ;;; Nationality is not always defined by place of birth, or by citizenship -;;; jus soli, jus sanguinis is the issue. +;;; jus soli, jus sanguinis is the issue. ;;; It seems reasonable to have another NationalityFn such that we can talk about demonynic attributes as below. LATER. ;(<=> ; (attribute ?INDIVIDUAL Brazilian) ; (member ?INDIVIDUAL (NationalityFn Brazil) - -;(documentation NationalityFn EnglishLanguage "(nationality ?AREA) denotes the group of people who have been granted nationality by the government of ?AREA.") -;(domain NationalityFn 1 GeopoliticalArea) -;(instance NationalityFn UnaryFunction) -;(range NationalityFn GroupOfPeople) + +;(documentation NationalityFn EnglishLanguage "(nationality ?AREA) denotes the group of people who have been granted nationality by the government of ?AREA.") +;(domain NationalityFn 1 GeopoliticalArea) +;(instance NationalityFn UnaryFunction) +;(range NationalityFn GroupOfPeople) ;;;-------------------------------------------------------------------- ;;; Occupations -;;;-------------------------------------------------------------------- -;;; Working to make consistent the occupations already in SUMO, -;;; using the lists from Wikipedia -;;; http://en.wikipedia.org/wiki/Lists_of_people_by_occupation +;;;-------------------------------------------------------------------- +;;; Working to make consistent the occupations already in SUMO, +;;; using the lists from Wikipedia +;;; http://en.wikipedia.org/wiki/Lists_of_people_by_occupation ;;; http://en.wikipedia.org/wiki/Profession#List_of_professions ;; Extra sciences added: @@ -333,9 +333,9 @@ the insurance (&%InsuranceCompany) and finance (&%FinancialCompany) industries.") ;; (instance FinanceAndInsurance IndustryAttribute) naics.kif 9104-9104 ;;(instance Anthropology SocialScience) already in MILO 16480 -;;(documentation Anthropology EnglishLanguage "Anthropology is the study of humanity.") -(instance Archaeology SocialScience) -(documentation Archaeology EnglishLanguage "Archaeology is the study of human society, primarily through the recovery and analysis of the material culture +;;(documentation Anthropology EnglishLanguage "Anthropology is the study of humanity.") +(instance Archaeology SocialScience) +(documentation Archaeology EnglishLanguage "Archaeology is the study of human society, primarily through the recovery and analysis of the material culture and environmental data that they have left behind.") ; Wikipedia says that in the US Archaeology is actually one of the 4 subfields of Anthropology (instance Astronomy Science) @@ -344,7 +344,7 @@ and environmental data that they have left behind.") (instance Cartography Science) (documentation Cartography EnglishLanguage "Cartography is the study and practice of making &%Map s.") (instance ComputerScience Science) -(documentation Computer Science EnglishLanguage "&%Computer Science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems.") +(documentation ComputerScience EnglishLanguage "&%Computer Science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems.") (instance Geography Science) (documentation Geography EnglishLanguage "Geography is the science that studies the lands, features, inhabitants, and phenomena of Earth. Also Earth's physical environment and human habitat.") (instance Geology Science) @@ -433,7 +433,7 @@ and environmental data that they have left behind.") (documentation Botanist EnglishLanguage "A biologist specializing in the study of plants.") -;; need to change Chef, PoliceOffice, PrivateDetective to SkilledOccupation +;; need to change Chef, PoliceOffice, PrivateDetective to SkilledOccupation (instance PrivateDetective SkilledOccupation) (documentation Attorney EnglishLanguage "A professional person authorized to practice law in certain countries; in particular an attorney at law in the United States is a lawyer. Different titles are used in other English-speaking countries.") @@ -442,7 +442,7 @@ in particular an attorney at law in the United States is a lawyer. Different tit ;; (=> ;; (attribute ?P Lawyer) -;; (hasExpertise ?P FieldOfLaw)) +;; (hasExpertise ?P FieldOfLaw)) (=> (attribute ?PERSON Actuary) @@ -479,12 +479,12 @@ in particular an attorney at law in the United States is a lawyer. Different tit (=> (attribute ?PERSON ComputerScientist) - (hasExpertise ?PERSON ComputerScience)) + (hasExpertise ?PERSON ComputerScience)) (=> (attribute ?PERSON Economist) - (hasExpertise ?PERSON Economics)) - + (hasExpertise ?PERSON Economics)) + (=> (attribute ?PERSON Engineer) (hasExpertise ?PERSON Engineering)) @@ -521,34 +521,34 @@ in particular an attorney at law in the United States is a lawyer. Different tit (subProcess ?P ?DESIGN))))))))) (=> (attribute ?PERSON Geographer) - (hasExpertise ?PERSON Geography)) - + (hasExpertise ?PERSON Geography)) + (=> (attribute ?PERSON Geologist) - (hasExpertise ?PERSON Geology)) - + (hasExpertise ?PERSON Geology)) + (=> (attribute ?PERSON Historian) - (hasExpertise ?PERSON History)) + (hasExpertise ?PERSON History)) (=> (attribute ?PERSON Librarian) (hasExpertise ?PERSON LibraryScience)) - + (=> (attribute ?PERSON Linguist) - (hasExpertise ?PERSON Linguistics)) + (hasExpertise ?PERSON Linguistics)) (=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics)) - + (=> (attribute ?PERSON MedicalResearcher) (and (attribute ?PERSON Researcher) - (hasExpertise ?PERSON MedicalScience))) - + (hasExpertise ?PERSON MedicalScience))) + ;; for philosophers wikipedia has school_tradition, main interests, notable ideas, era, influences (=> (attribute ?PERSON Philosopher) @@ -560,80 +560,80 @@ in particular an attorney at law in the United States is a lawyer. Different tit (=> (attribute ?PERSON PoliticalScientist) - (hasExpertise ?PERSON PoliticalScience)) - + (hasExpertise ?PERSON PoliticalScience)) + (=> (attribute ?PERSON Psychologist) - (hasExpertise ?PERSON Psychology)) + (hasExpertise ?PERSON Psychology)) (=> (attribute ?PERSON RegisteredNurse) - (hasExpertise ?PERSON TherapeuticProcess)) - + (hasExpertise ?PERSON TherapeuticProcess)) + (=> (attribute ?PERSON Scientist) - (hasExpertise ?PERSON Science)) + (hasExpertise ?PERSON Science)) (=> (attribute ?PERSON SocialScientist) (hasExpertise ?PERSON SocialScience)) - + (=> (attribute ?PERSON Sociologist) - (hasExpertise ?PERSON Sociology)) - + (hasExpertise ?PERSON Sociology)) + (=> (attribute ?PERSON Theologian) (hasExpertise ?PERSON Theology)) - + (=> (attribute ?PERSON Veterinarian) (hasExpertise ?PERSON VeterinaryScience)) - + (=> (attribute ?PERSON Zoologist) (hasExpertise ?PERSON Zoology)) - + (=> (attribute ?PERSON Botanist) (hasExpertise ?PERSON Botany)) -;;---------------------------------------------------------------------------------- +;;---------------------------------------------------------------------------------- ;; The Criative Economy Occupations from http://en.wikipedia.org/wiki/Creative_industries ;;---------------------------------------------------------------------------------- ;; Advertising ;; Architecture -- OK above ;; Arts and antique markets ;; Crafts -;; Design -- +;; Design -- ;; Designer Fashion ;; Film, video and photography ;; Software, computer games and electronic publishing ;; Music and the visual and performing arts ;; Publishing ;; Television -;; Radio +;; Radio ;; Main old definition is Artist: ;; (instance Artist EntertainmentProfession) Mid-level-ontology.kif 12944-12946 ;; change it to (instance Artist SkilledOccupation) ?? ;; wikipedia: artist -- A person who creates art as an occupation. ;; Changed EntertainmentProfession to EntertainmentOccupation -;; also FilmMakingOccupation and TheaterOccupation -;; Wikipedia has: Most often, the term ARTIST describes those who create within a context of the fine arts or 'high culture', -;; activities such as drawing, painting, sculpture, acting, dancing, writing, filmmaking, photography, +;; also FilmMakingOccupation and TheaterOccupation +;; Wikipedia has: Most often, the term ARTIST describes those who create within a context of the fine arts or 'high culture', +;; activities such as drawing, painting, sculpture, acting, dancing, writing, filmmaking, photography, ;; and music—people who use imagination, talent, or skill to create works that may be judged to have an aesthetic value. ;; model (=> ;; (attribute ?X Musician) -;; (hasSkill MusicalPerformance ?X)) +;; (hasSkill MusicalPerformance ?X)) ;; Mid-level-ontology.kif 15803-15805 ; see below the kinds of musical artists that wikipedia considers (=> (attribute ?PERSON SoloSinger) - (hasSkill ?PERSON Singing)) - + (hasSkill ?PERSON Singing)) + ;; relating musicians to their instruments??? ;(=> ; (instance ?M Musician) @@ -641,16 +641,16 @@ in particular an attorney at law in the United States is a lawyer. Different tit ; (and ; (instance ?INSTRUMENT MusicalInstrument) ; (instrument ?MUSIC ?INSTRUMENT) -; (hasSkill (PlayingInstrumentFn ?INSTRUMENT) ?M))) - +; (hasSkill (PlayingInstrumentFn ?INSTRUMENT) ?M))) + ;; KJN: Moving this to Music.kif -;;(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) -;;denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.") -;;(comment PlayingInstrumentFn "This was taken from Biography.kif and moved to Music.kif. +;;(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) +;;denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.") +;;(comment PlayingInstrumentFn "This was taken from Biography.kif and moved to Music.kif. ;;09-28-2011" "KJN") -;;(domainSubclass PlayingInstrumentFn 1 Device) -;;(instance PlayingInstrumentFn UnaryFunction) -;;(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) +;;(domainSubclass PlayingInstrumentFn 1 Device) +;;(instance PlayingInstrumentFn UnaryFunction) +;;(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) ;;(=> ;; (instance ?PROC (PlayingInstrumentFn ?INST)) ;; (exists (?I) @@ -658,67 +658,67 @@ in particular an attorney at law in the United States is a lawyer. Different tit ;; (instance ?I ?INST) ;; (instrument ?PROC ?I)))) - + ;; should correspond to the following instantiations: (subAttribute Pianist Musician) (=> (attribute ?PERSON Pianist) (hasSkill ?PERSON - (PlayingInstrumentFn Piano))) + (PlayingInstrumentFn Piano))) -(subAttribute Violinist Musician) +(subAttribute Violinist Musician) (=> (attribute ?PERSON Violinist) (hasSkill ?PERSON (PlayingInstrumentFn Violin))) - -(subAttribute Guitarist Musician) -(documentation Guitarist EnglishLanguage "A &%Musician who plays the &%Guitar.") + +(subAttribute Guitarist Musician) +(documentation Guitarist EnglishLanguage "A &%Musician who plays the &%Guitar.") (=> (attribute ?PERSON Guitarist) (hasSkill ?PERSON - (PlayingInstrumentFn Guitar))) + (PlayingInstrumentFn Guitar))) -(subAttribute Cellist Musician) -(documentation Cellist EnglishLanguage "A musician who plays a cello is called a cellist.") +(subAttribute Cellist Musician) +(documentation Cellist EnglishLanguage "A musician who plays a cello is called a cellist.") (=> (attribute ?PERSON Cellist) (hasSkill ?PERSON (PlayingInstrumentFn Cello))) -;; removing the following from Biography.kif as they should be in Music.kif +;; removing the following from Biography.kif as they should be in Music.kif ;;(subclass Cello StringInstrument) -;;(documentation Cello EnglishLanguage "The cello is a bowed string instrument with four strings tuned in perfect fifths.") +;;(documentation Cello EnglishLanguage "The cello is a bowed string instrument with four strings tuned in perfect fifths.") ;;subclass Saxophone WindInstrument) ;;(subclass Oboe WindInstrument) -;;(subclass Clarinet WindInstrument) -;;(subclass Flute WindInstrument) +;;(subclass Clarinet WindInstrument) +;;(subclass Flute WindInstrument) -(subAttribute Saxophonist Musician) +(subAttribute Saxophonist Musician) (=> (attribute ?PERSON Saxophonist) (hasSkill ?PERSON - (PlayingInstrumentFn Saxophone))) - + (PlayingInstrumentFn Saxophone))) + (=> (attribute ?PERSON Drummer) (hasSkill ?PERSON - (PlayingInstrumentFn Drum))) - + (PlayingInstrumentFn Drum))) + ; SUMO Already has (=> ; (instance ?D Drum) ; (hasPurpose ?D ; (exists (?P) ; (and ; (instance ?P Drumming) -; (instrument ?P ?D))))) +; (instrument ?P ?D))))) ; don't think we need processes for all the instruments but sure for some, like plucking a harp.. (instance Artist SkilledOccupation) -(documentation Artist EnglishLanguage "An artist is a person engaged in one or more -of any of a broad spectrum of activities related to creating art, practicing the arts +(documentation Artist EnglishLanguage "An artist is a person engaged in one or more +of any of a broad spectrum of activities related to creating art, practicing the arts and/or demonstrating an art.") ;;;--------------------------------------------------------- ;;; OTHER OCCUPATIONS @@ -727,9 +727,9 @@ and/or demonstrating an art.") (documentation organizationRepresentative EnglishLanguage "(&%organizationRepresentative ?&%INDIVIDUAL ?ORG) means that the ?INDIVIDUAL is a official representative of ?ORG in some transaction)" ) (termFormat EnglishLanguage organizationRepresentative "an agent that is an organization representative (in some transaction)") - + (domain organizationRepresentative 1 Agent) -(domain organizationRepresentative 2 Organization) +(domain organizationRepresentative 2 Organization) (instance organizationRepresentative SocialRole) ;; if a person represents an organization there is a Transaction in which they do so. ;; Government.kif has representativeAgentToAgent 4380-4384 for DiplomaticAgent, but no notion of beneficiary. @@ -741,7 +741,7 @@ and/or demonstrating an art.") (instance ?TRANSACTION Transaction) (agent ?TRANSACTION ?Person)))) -;; need to say that the beneficiary of the ?TRANSACTION is Org? +;; need to say that the beneficiary of the ?TRANSACTION is Org? ;;;------------------------------------- (subclass Barman SkilledOccupation) (documentation Barman EnglishLanguage "An employee who mixes and serves alcoholic drinks (&%AlcoholicBeverages) at a &%Bar.") @@ -755,7 +755,7 @@ and/or demonstrating an art.") (subclass Cartoon ArtWork) (documentation Cartoon EnglishLanguage "A cartoon is a form of two-dimensional visual art, referring to a drawing or painting intended for satire, caricature, or humor.") (subclass ArtisticOccupation SkilledOccupation) -(documentation ArtisticOccupation EnglishLanguage "People in design, education, arts, music and entertainment, whose economic +(documentation ArtisticOccupation EnglishLanguage "People in design, education, arts, music and entertainment, whose economic function is to create new ideas, new technology and/or creative content." ) (subclass Actor ArtisticOccupation) (documentation Actor EnglishLanguage "A theatrical performer, someone with expertise on dramatical performances.") @@ -776,7 +776,7 @@ function is to create new ideas, new technology and/or creative content." ) (subclass FashionModel ArtisticOccupation) (documentation FashionModel EnglishLanguage "A person who wears clothes to display fashions.") (subclass Jeweller ArtisticOccupation) -(documentation Jeweller EnglishLanguage "Someone who makes &%Jewelry.") +(documentation Jeweller EnglishLanguage "Someone who makes &%Jewelry.") (subclass WebDesigner Designer) (documentation WebDesigner EnglishLanguage "Someone who designs &%Websites.") (subclass GameDesigner Designer) @@ -801,7 +801,7 @@ function is to create new ideas, new technology and/or creative content." ) (subclass Zumba Dancing) (documentation Zumba EnglishLanguage "Zumba is a Latin-inspired dance fitness program created in Colombia.") (subclass SalsaDance Dancing) -(documentation SalsaDance EnglishLanguage "Salsa is a syncretic dance form with origins in Cuba.") +(documentation SalsaDance EnglishLanguage "Salsa is a syncretic dance form with origins in Cuba.") (subclass BallroomDance Dancing) (documentation BallroomDance EnglishLanguage "Ballroom dance refers to a set of partner dances, which are enjoyed both socially and competitively around the world.") (subclass LatinDance Dancing) @@ -809,7 +809,7 @@ function is to create new ideas, new technology and/or creative content." ) (subclass SwingDance Dancing) (documentation SwingDance EnglishLanguage "Swing dance is a group of dances that developed with the swing style of jazz music in the 1920s-1950s.") (subclass Tango Dancing) -(documentation Tango EnglishLanguage "a ballroom dance of Argentinian origin.") +(documentation Tango EnglishLanguage "a ballroom dance of Argentinian origin.") (subclass FireDancing Dancing) (documentation FireDancing EnglishLanguage "A Maori art of dancing with lit objects.") ; Temple of Poi=Maori art of dancing with lit objects @@ -822,7 +822,7 @@ function is to create new ideas, new technology and/or creative content." ) ;; Actors only have skill for Drama, comedy is only entertainment? not right.. (=> (attribute ?PERSON Actor) - (hasSkill DramaticPerformance ?PERSON)) + (hasSkill DramaticPerformance ?PERSON)) (subAttribute VoiceActor Actor) (documentation VoiceActor EnglishLanguage "Like an &%Actor, a &%VoiceActor is also an @@ -858,7 +858,7 @@ actor himself") (=> (attribute ?PERSON Sculptor) (hasSkill Sculpture ?PERSON)) - + (=> (attribute ?PERSON Painter) (hasSkill ArtPainting ?PERSON)) @@ -879,8 +879,8 @@ actor himself") (=> (attribute ?PERSON TheaterDirector) - (hasSkill DirectingTheater ?PERSON)) - + (hasSkill DirectingTheater ?PERSON)) + (=> (attribute ?PERSON Photographer) (hasSkill Photographing ?PERSON)) @@ -895,8 +895,8 @@ actor himself") (=> (attribute ?PERSON Cook) - (hasSkill Cooking ?PERSON)) - + (hasSkill Cooking ?PERSON)) + (=> (attribute ?PERSON WebDesigner) (exists (?WEBSITE) @@ -904,23 +904,23 @@ actor himself") (attribute ?PERSON Designer) (instance ?WEBSITE WebSite) (authors ?PERSON ?WEBSITE)))) - + (=> (attribute ?PERSON GameDesigner) (exists (?VIDEOGAME) (and (attribute ?PERSON Designer) (instance ?VIDEOGAME VideoGame) - (authors ?PERSON ?VIDEOGAME)))) + (authors ?PERSON ?VIDEOGAME)))) (instance designs BinaryPredicate) (domain designs 1 Agent) ;; KJN: Changing this to Physical, as you can also technically design a complex process ;;(domain designs 2 Object) (domain designs 2 Physical) -;;(documentation designs EnglishLanguage "(designs ?AGENT ?OBJECT) means that the &%Agent ?AGENT +;;(documentation designs EnglishLanguage "(designs ?AGENT ?OBJECT) means that the &%Agent ?AGENT ;;designed some &%Object ?OBJECT by creating a different &%Object that represents ?OBJECT") -(documentation designs EnglishLanguage "(designs ?AGENT ?PHYS) means that the +(documentation designs EnglishLanguage "(designs ?AGENT ?PHYS) means that the &%Agent ?AGENT was involved in a &%Designing process that resulted in a model that &%represents &%Physical ?PHYS") (termFormat EnglishLanguage designs "designs") @@ -932,10 +932,10 @@ actor himself") (instance ?DP Designing) (agent ?DP ?AGENT) (result ?DP ?DR) - (represents ?DR ?OBJECT)))) - -(documentation DirectingTheater EnglishLanguage "The process of directing a theatrical performance.") -(subclass DirectingTheater Directing) + (represents ?DR ?OBJECT)))) + +(documentation DirectingTheater EnglishLanguage "The process of directing a theatrical performance.") +(subclass DirectingTheater Directing) (=> (and @@ -943,7 +943,7 @@ actor himself") (agent ?CONDUCT ?AGENT)) (holdsDuring (WhenFn ?CONDUCT) - (attribute ?AGENT TheaterDirector))) + (attribute ?AGENT TheaterDirector))) (=> (holdsDuring ?T1 @@ -954,10 +954,10 @@ actor himself") (agent ?CONDUCT ?AGENT) (not (earlier ?T1 - (WhenFn ?CONDUCT)))))) - -(documentation DirectingFilm EnglishLanguage "The process of directing a film or movie.") -(subclass DirectingFilm Directing) + (WhenFn ?CONDUCT)))))) + +(documentation DirectingFilm EnglishLanguage "The process of directing a film or movie.") +(subclass DirectingFilm Directing) (=> (and @@ -965,7 +965,7 @@ actor himself") (agent ?CONDUCT ?AGENT)) (holdsDuring (WhenFn ?CONDUCT) - (attribute ?AGENT FilmDirector))) + (attribute ?AGENT FilmDirector))) (=> (holdsDuring ?T1 @@ -976,10 +976,10 @@ actor himself") (agent ?CONDUCT ?AGENT) (not (earlier ?T1 - (WhenFn ?CONDUCT)))))) + (WhenFn ?CONDUCT)))))) (instance Cinematographer FilmMakingProfession) -(documentation Cinematographer EnglishLanguage "&%Position which involves controlling +(documentation Cinematographer EnglishLanguage "&%Position which involves controlling the &%Camera during a &%FilmMaking") (termFormat EnglishLanguage Cinematographer "Cinematographer") (=> @@ -988,11 +988,11 @@ the &%Camera during a &%FilmMaking") (and (instance ?SHOT FilmMaking) (agent ?SHOT ?C)))) - + (instance filmCinematographer BinaryPredicate) (domain filmCinematographer 1 Human) (domain filmCinematographer 2 MotionPicture) -(documentation filmCinematographer EnglishLanguage "(filmCinematographer ?C ?FILM) +(documentation filmCinematographer EnglishLanguage "(filmCinematographer ?C ?FILM) that the &%Human ?C was the &%Cinematographer for the &%MotionPicture ?FILM") (termFormat EnglishLanguage filmCinematographer "film cinematographer") (=> @@ -1021,13 +1021,13 @@ the &%Camera during a &%FilmMaking") ;; Actor, Artist, Comedian, MusicalConductor, Performer, FilmMakingProfession, TheaterProfession are subs of EntertainmentProfession now -;; FilmDirector, FilmProducer +;; FilmDirector, FilmProducer ;; a different model/ maybe need both eventually for all arts? ;;(=> ;; (and ;; (authors ?AGENT ?CLASS) ;; (subclass ?CLASS MusicalComposition)) -;; (composer ?AGENT ?CLASS)) Media-1.kif 1602-1606 +;; (composer ?AGENT ?CLASS)) Media-1.kif 1602-1606 ; songwriters are composers, but what about Record Producer and Executive Producers for Film and Television? ;; genres of music and labels-- too many? @@ -1062,25 +1062,25 @@ the &%Camera during a &%FilmMaking") ; Not ideal as some politicians have no skills ; a politician is an agent involved with a political process (instance Politician SkilledOccupation) -(documentation Politician EnglishLanguage "A person active in politics.") +(documentation Politician EnglishLanguage "A person active in politics.") (=> (instance ?POL Politician) (exists (?PROC) (and (instance ?PROC PoliticalProcess) - (agent ?PROC ?POL)))) - + (agent ?PROC ?POL)))) + (instance Manager SkilledOccupation) (documentation Manager EnglishLanguage "One who manages a &%Business or other enterprise.") - + (=> (instance ?MAN Manager) (exists (?PROC) (and (instance ?PROC Managing) - (agent ?PROC ?MAN)))) - + (agent ?PROC ?MAN)))) + ;; ;; maybe this has been moved from Mid-level-ontology.kif? (instance Pope ReligiousPosition) @@ -1095,8 +1095,8 @@ the &%Camera during a &%FilmMaking") (exists (?PROC) (and (instance ?PROC ReligiousProcess) - (agent ?PROC ?Cleric)))) - + (agent ?PROC ?Cleric)))) + (instance Rabbi ReligiousPosition) (documentation Rabbi EnglishLanguage "The rabbi is the spiritual leader of a Jewish congregation; qualified to expound and apply Jewish law.") ;(instance Iman ReligiousPosition) @@ -1131,25 +1131,25 @@ facilitate the meeting of a church.") (documentation Synagogue EnglishLanguage "A &%Synagogue is a Jewish house of prayer.") ;--------------------------------------------------------------------------------------- ; Managerial Professions include Financial Analysts, Quantity Surveyors, Estate Agents, etc... -; +; ; need to try to organize all managerial professions here, perhaps? organizationRepresentative defined in TravelPolicies, move it here? -(instance Recruiter SkilledOccupation) -(documentation Recruiter EnglishLanguage "Someone who enlists and supplies members or employees to an intitution.") -(=> +(instance Recruiter SkilledOccupation) +(documentation Recruiter EnglishLanguage "Someone who enlists and supplies members or employees to an intitution.") +(=> (instance ?R Recruiter) (exists (?PROC ?ORG) (and (instance ?PROC Hiring) (agent ?PROC ?ORG) - (organizationRepresentative ?R ?ORG)))) - + (organizationRepresentative ?R ?ORG)))) + ;; same def as PoliticalOrganization? better than belonging to a political organization? -;--------------------------------------------------------------- +;--------------------------------------------------------------- ;; SUMO has a mini-biography of Jesus in Media.kif 1674-1679 -;; (documentation JesusOfNazareth EnglishLanguage "JesusOfNazareth is the central figure of christianity, -;; revered by most christians as the incarnation of God, and also is an important figure in several other religions.") -;; (instance JesusOfNazareth Man) +;; (documentation JesusOfNazareth EnglishLanguage "JesusOfNazareth is the central figure of christianity, +;; revered by most christians as the incarnation of God, and also is an important figure in several other religions.") +;; (instance JesusOfNazareth Man) ;; (instance JesusOfNazareth ReligiousJew) ;; Need to make sure that if we produce SUMO bios they agree with Wikipedia's?? ;--------------------------------------------------------------- @@ -1209,8 +1209,8 @@ facilitate the meeting of a church.") ;;| opponents = for politicians/sportsmen ;;| boards = not necessary in SUMO? ;;| religion = use SUMO's ReligiousAttribute People.kif 668 and add subcats? -;;| denomination = NOT -;;| criminal_charge = not necessary in SUMO? +;;| denomination = NOT +;;| criminal_charge = not necessary in SUMO? ;;| criminal_penalty = not necessary in SUMO? ;;| criminal_status = not necessary in SUMO? ;;| spouse = SUMO has relation (spouse ?PERSON1 ?PERSON2) @@ -1233,7 +1233,7 @@ facilitate the meeting of a church.") ;;| footnotes = not necessary in SUMO ;;| box_width = not necessary in SUMO ;;}} - + ;---------------------------------------------------------------- ;; residence attribute can be done with relation (inhabits ?PERSON ?PLACE) ;; in wikipedia residence is city, state, country e.g. for Bill Gates Medina, Washington, U.S. @@ -1254,7 +1254,7 @@ facilitate the meeting of a church.") (instance ?HUMAN Human) (hasDegreeFn ?HUMAN ?DEGREE)) (exists (?SCHOOL ?FIELDOFSTUDY ?AWARDINGDEGREE) - (and + (and (instance ?SCHOOL PostSecondarySchool) (instance ?FIELDOFSTUDY FieldOfStudy) (patient ?AWARDINGDEGREE (DegreeFn ?FIELDOFSTUDY ?SCHOOL)) @@ -1283,9 +1283,9 @@ facilitate the meeting of a church.") ; (instance ?ORG Organization) ; (employs ?ORG ?H)) ; (employer ?H ?ORG)) -; unnecessary -;----------------------------------------------------------- -; the following might be an unwarrented simplification as time intervals have no gaps +; unnecessary +;----------------------------------------------------------- +; the following might be an unwarrented simplification as time intervals have no gaps ; and people aren't active in their occupations if they're sick or injured or just resting.. (documentation yearsActiveFn EnglishLanguage "A binary function that, when given a &%Human, and an &%Occupation will return an instance of an time interval @@ -1304,31 +1304,31 @@ facilitate the meeting of a church.") (instance ?OCCUPATION SkilledOccupation) (attribute ?PERSON ?OCCUPATION)) (and - (exists (?TIME) - (holdsDuring ?TIME + (exists (?TIME) + (holdsDuring ?TIME (attribute ?PERSON ?OCCUPATION))) (equal ?TIME (yearsActiveFn ?PERSON)))) - + ;---------------------------------------------------- ; For Religion we can use the collection of ReligiousAttribute and add subcategories.. -;(instance Bahai ReligiousAttribute) People.kif 774-774 -;(instance Buddhist ReligiousAttribute) People.kif 786-786 -;(instance Christian ReligiousAttribute) People.kif 799-799 -;(instance Confucianist ReligiousAttribute) People.kif 1227-1227 -;(instance Hindu ReligiousAttribute) People.kif 1239-1239 -;(instance Jain ReligiousAttribute) People.kif 1321-1321 -;(instance Muslim ReligiousAttribute) People.kif 1251-1251 +;(instance Bahai ReligiousAttribute) People.kif 774-774 +;(instance Buddhist ReligiousAttribute) People.kif 786-786 +;(instance Christian ReligiousAttribute) People.kif 799-799 +;(instance Confucianist ReligiousAttribute) People.kif 1227-1227 +;(instance Hindu ReligiousAttribute) People.kif 1239-1239 +;(instance Jain ReligiousAttribute) People.kif 1321-1321 +;(instance Muslim ReligiousAttribute) People.kif 1251-1251 ;(instance Neopaganismist ReligiousAttribute) People.kif 1353-1353 NEED TO CORRECT THIS -;(instance ReligiousJew ReligiousAttribute) People.kif 1338-1338 -;(instance Shintoist ReligiousAttribute) People.kif 1368-1368 -;(instance Sikh ReligiousAttribute) People.kif 1383-1383 -;(instance Taoist ReligiousAttribute) People.kif 1398-1398 +;(instance ReligiousJew ReligiousAttribute) People.kif 1338-1338 +;(instance Shintoist ReligiousAttribute) People.kif 1368-1368 +;(instance Sikh ReligiousAttribute) People.kif 1383-1383 +;(instance Taoist ReligiousAttribute) People.kif 1398-1398 ;(instance Zoroastrian ReligiousAttribute) People.kif 1413-1413 ; subcategories gotten from term Church People.kif 686 which vcvp thinks are WRONG and NEED TO BE REMOVED!!!! ;(subclass ChristianUnion Church) People.kif 1104-1104 NO ;(subclass CrusadersUnion Church) People.kif 1101-1101 NO -;(subclass EcumenicalProject Church) People.kif 1105-1105 NO +;(subclass EcumenicalProject Church) People.kif 1105-1105 NO ;(subclass Katolskakyrkan Church) People.kif 1129-1129 --> Catholic Church of Sweden just catholic NO ;(subclass Missionskyrkan Church) People.kif 1131-1131 --> free church of Sweden ;(subclass MissionssaellskapetBibeltrognaVaenner Church) People.kif 1130-1130 ecumenical NO @@ -1337,23 +1337,23 @@ facilitate the meeting of a church.") ;(subclass ShaftesburySociety Church) People.kif 1100-1100 --> remove it's a Non-profit called Livebility ;(subclass SvenskaAlliansmissionen Church) --> remove? -; Also have -;(subCollection Anglicanism Christianity) People.kif 1155-1155 -;(subCollection EasternOrthodoxChristianity Christianity) People.kif 1176-1176 -;(subCollection Protestantism Christianity) People.kif 1189-1189 -;(subCollection RomanCatholicism Christianity) People.kif 1202-1202 -;(instance Bahaism BeliefGroup) People.kif 769-769 -;(instance Buddhism BeliefGroup) People.kif 782-782 -;(instance Christianity BeliefGroup) People.kif 794-794 -;(instance Confucianism BeliefGroup) People.kif 1223-1223 -;(instance Hinduism BeliefGroup) People.kif 1235-1235 -;(instance Islam BeliefGroup) People.kif 1247-1247 -;(instance Jainism BeliefGroup) People.kif 1316-1316 -;(instance Judaism BeliefGroup) People.kif 1331-1331 -;(instance Neopaganism BeliefGroup) People.kif 1348-1348 -;(instance Shinto BeliefGroup) People.kif 1363-1363 -;(instance Sikhism BeliefGroup) People.kif 1378-1378 -;(instance Taoism BeliefGroup) People.kif 1393-1393 +; Also have +;(subCollection Anglicanism Christianity) People.kif 1155-1155 +;(subCollection EasternOrthodoxChristianity Christianity) People.kif 1176-1176 +;(subCollection Protestantism Christianity) People.kif 1189-1189 +;(subCollection RomanCatholicism Christianity) People.kif 1202-1202 +;(instance Bahaism BeliefGroup) People.kif 769-769 +;(instance Buddhism BeliefGroup) People.kif 782-782 +;(instance Christianity BeliefGroup) People.kif 794-794 +;(instance Confucianism BeliefGroup) People.kif 1223-1223 +;(instance Hinduism BeliefGroup) People.kif 1235-1235 +;(instance Islam BeliefGroup) People.kif 1247-1247 +;(instance Jainism BeliefGroup) People.kif 1316-1316 +;(instance Judaism BeliefGroup) People.kif 1331-1331 +;(instance Neopaganism BeliefGroup) People.kif 1348-1348 +;(instance Shinto BeliefGroup) People.kif 1363-1363 +;(instance Sikhism BeliefGroup) People.kif 1378-1378 +;(instance Taoism BeliefGroup) People.kif 1393-1393 ;(instance Zoroastrianism BeliefGroup) ;--------------------------------------------------------------- ; Adding a few ReligiousAttributes (after discussions with Adam): @@ -1369,7 +1369,7 @@ facilitate the meeting of a church.") (instance Pentecostal ReligiousAttribute) (documentation Pentecostal EnglishLanguage "Any member of a Pentecostal religious body.") ;(instance Ecumenical ReligiousAttribute) removing this as I cannot find a sensible definition -;(instance Evangelical ReligiousAttribute) +;(instance Evangelical ReligiousAttribute) ;(instance RomanCatholic ReligiousAttribute) ;subclass of Christian (instance Lutheran ReligiousAttribute) (documentation Lutheran EnglishLanguage "A follower of Lutheranism.") @@ -1377,7 +1377,7 @@ facilitate the meeting of a church.") (documentation Methodist EnglishLanguage "a follower of Wesleyanism as practiced by the Methodist Church.") (instance Presbyterian ReligiousAttribute) (documentation Presbyterian EnglishLanguage "a follower of Calvinism as taught in the Presbyterian Church.") - + ;; All the ism's above are not religious doctrines but BeliefGroups ie groups of People that believe in the doctrine. ;; It is clear that we can have a binary function that sends a person self-described by a ReligiousAttribute to the belief group associated with the attribute ;; e.g if (ReligiousAttribute JoeM Methodist) then (BeliefGroupFn JoeM Methodist) is the BeliefGroup Methodism. @@ -1419,12 +1419,12 @@ facilitate the meeting of a church.") ; SUMO has (parent ?CHILD ?PARENT),(stepfather ?CHILD ?FATHER) and (stepmother ?CHILD ?MOTHER) ; need to have stepChildOf ? -(documentation childOf EnglishLanguage "The general relationship of being a child (natural or by parent's marriage) of someone else. -(childOf ?CHILD ?PARENT) means that ?PARENT is a biological or a by marriage parent of ?CHILD.") -(domain childOf 1 Human) -(domain childOf 2 Human) -(instance childOf AsymmetricRelation) -(instance childOf BinaryPredicate) +(documentation childOf EnglishLanguage "The general relationship of being a child (natural or by parent's marriage) of someone else. +(childOf ?CHILD ?PARENT) means that ?PARENT is a biological or a by marriage parent of ?CHILD.") +(domain childOf 1 Human) +(domain childOf 2 Human) +(instance childOf AsymmetricRelation) +(instance childOf BinaryPredicate) (instance childOf IntransitiveRelation) (=> (and @@ -1432,23 +1432,23 @@ facilitate the meeting of a church.") (or (stepfather ?CHILD ?H) (stepmother ?CHILD ?H))) - (stepChildOf ?CHILD ?H)) - -(documentation stepChildOf EnglishLanguage "The general relationship of being a child (by a parent's marriage) of someone else. -(stepChildOf ?CHILD ?PARENT) means that ?PARENT is a parent by marriage of ?CHILD.") -(domain stepChildOf 1 Human) -(domain stepChildOf 2 Human) -(instance stepChildOf AsymmetricRelation) -(instance stepChildOf BinaryPredicate) -(instance stepChildOf IntransitiveRelation) + (stepChildOf ?CHILD ?H)) + +(documentation stepChildOf EnglishLanguage "The general relationship of being a child (by a parent's marriage) of someone else. +(stepChildOf ?CHILD ?PARENT) means that ?PARENT is a parent by marriage of ?CHILD.") +(domain stepChildOf 1 Human) +(domain stepChildOf 2 Human) +(instance stepChildOf AsymmetricRelation) +(instance stepChildOf BinaryPredicate) +(instance stepChildOf IntransitiveRelation) (=> (and (instance ?H Human) (childOf ?CHILD ?H)) (or (parent ?CHILD ?H) - (stepChildOf ?CHILD ?H))) -; to deal with the "children" attribute we can use ChildOf above + (stepChildOf ?CHILD ?H))) +; to deal with the "children" attribute we can use ChildOf above ;-------------------------------------------------------------------------- ; awards: no concept in SUMO yet, two possibilities, first from Plan and Planning in Merge.kif 8628-8636 ;(=> @@ -1460,19 +1460,19 @@ facilitate the meeting of a church.") ; (and ; (instance ?A Award ; (containsInformation ?CBO ?A)))) -; a simple note or smile can be an award? Maybe the following is better... -(subclass Award ContentBearingObject) -(documentation Award EnglishLanguage "An object signifying approval or distinction, conferred by some authority.") +; a simple note or smile can be an award? Maybe the following is better... +(subclass Award ContentBearingObject) +(documentation Award EnglishLanguage "An object signifying approval or distinction, conferred by some authority.") (=> (instance ?A Award) (exists (?EVENT ?PROP) - (and + (and (instance ?EVENT Congratulating) (result ?EVENT ?A) (instance ?A ContentBearingObject) (containsInformation ?A ?PROP) (represents ?EVENT ?PROP)))) - + (=> (instance ?A Award) (exists (?AWARDER ?AWARDEE) @@ -1480,10 +1480,10 @@ facilitate the meeting of a church.") (instance ?EVENT Congratulating) (result ?EVENT ?A) (agent ?EVENT ?AWARDER) - (patient ?EVENT ?AWARDEE)))) -; the WN mapping suggests UnilateralGiving for award -; must add kinds of awards like NobelPrize, Oscar, etc?... -;--------------------------------------------- + (patient ?EVENT ?AWARDEE)))) +; the WN mapping suggests UnilateralGiving for award +; must add kinds of awards like NobelPrize, Oscar, etc?... +;--------------------------------------------- ; Most celebrities have websites. SUMO has WebSite and Webpage in Media.kif 1261-1266 but WebSite and WebPage don't mention their contents? ; only thing we know is that websites have webpages as components. We need to say that the webpage refers to the celebrity. @@ -1493,9 +1493,9 @@ facilitate the meeting of a church.") (and (instance ?TXT Text) (component ?TXT ?W)))) - + (subclass PersonalWebPage WebPage) -(documentation PersonalWebPage EnglishLanguage "Personal web pages are World Wide Web pages created by an individual to contain content of a personal nature rather than on behalf of an employer or institution.") +(documentation PersonalWebPage EnglishLanguage "Personal web pages are World Wide Web pages created by an individual to contain content of a personal nature rather than on behalf of an employer or institution.") (=> (and (instance ?PW PersonalWebPage) @@ -1503,23 +1503,23 @@ facilitate the meeting of a church.") (exists (?PERSON) (and (instance ?PW WebPage) - (instance ?PERSON Human) + (instance ?PERSON Human) (represents ?PWB ?PERSON)))) - + ; Companies also have homepages. Widen the scope below to ?AGENT -;(documentation WebPageOfFn EnglishLanguage "(WebPageOfFn ?PERSON) denotes the class of webpages officially associated with a ?PERSON.") -;(domain WebPageOfFn 1 Human) -(documentation WebPageOfFn EnglishLanguage "(WebPageOfFn ?AGENT) denotes the class of webpages officially associated with an ?AGENT, be that a person or organization.") -(domain WebPageOfFn 1 Agent) -(instance WebPageOfFn UnaryFunction) -(rangeSubclass WebPageOfFn WebPage) +;(documentation WebPageOfFn EnglishLanguage "(WebPageOfFn ?PERSON) denotes the class of webpages officially associated with a ?PERSON.") +;(domain WebPageOfFn 1 Human) +(documentation WebPageOfFn EnglishLanguage "(WebPageOfFn ?AGENT) denotes the class of webpages officially associated with an ?AGENT, be that a person or organization.") +(domain WebPageOfFn 1 Agent) +(instance WebPageOfFn UnaryFunction) +(rangeSubclass WebPageOfFn WebPage) (=> (and (instance ?P Celebrity) (possesses ?P ?PersonalWebPage)) (equal (WebPageOfFn ?P) ?PersonalWebPage)) - + ; this would end the full Person/biography template, with the exception of the attributes marked with NOT YET, e.g. ;; known_for ;; notable_works @@ -1528,7 +1528,7 @@ facilitate the meeting of a church.") ;; There are specialized templates for special kinds of biographies and these have other attributes. ; Some are described in http://en.wikipedia.org/wiki/Wikipedia:WikiProject_Biography/Infoboxes ; {{Infobox person}} first pass done: should have Person? -; {{Infobox actor}} first pass done: issue with Comedy and Comedians +; {{Infobox actor}} first pass done: issue with Comedy and Comedians ; {{Infobox artist}} main fields in which the artist works (BELOW): need to add training, patrons, movement (like Impressionism) ; {{Infobox writer}} Articles about writers/authors Biography/Arts and entertainment: Need to connect to Writing ;{{Infobox musical artist}} Articles about popular musical artists Biography/Arts and entertainment @@ -1575,7 +1575,7 @@ facilitate the meeting of a church.") (documentation Sculpting EnglishLanguage "The process of creating three-dimensional artwork by shaping or combining hard materials—typically stone such as marble—or metal, glass, or wood.") (subclass PotteryCreating ContentDevelopment) ; pottery already exists as Artifact, potter is one that makes pottery, an occupational trade -(documentation PotteryCreating EnglishLanguage "Pottery creating refers to the art or craft of the potter.") +(documentation PotteryCreating EnglishLanguage "Pottery creating refers to the art or craft of the potter.") (subclass Designing ContentDevelopment) ;(documentation Designing EnglishLanguage "The act of working out the form of something, as by making a sketch or outline or a plan.") (subclass GraphicDesigning Designing) @@ -1585,7 +1585,7 @@ facilitate the meeting of a church.") (=> (attribute ?PERSON Potter) (hasSkill PotteryCreating ?PERSON)) - + ; based on Library Mid-level-ontology.kif 6084-6091 (subclass ArtMuseum Museum) (documentation ArtMuseum EnglishLanguage "An art museum is a building or space for the exhibition of art, usually visual art.") @@ -1597,9 +1597,9 @@ facilitate the meeting of a church.") (instance ?B Building) (instance ?A ArtWork) (located ?A ?B)))) - -(subclass MusicalArtist Artist) -; for musical artists wikipedia has six classes: solo_singer (created above), non_vocal_instrumentalist(musician), non_performing_personnel(record producer), + +(subclass MusicalArtist Artist) +; for musical artists wikipedia has six classes: solo_singer (created above), non_vocal_instrumentalist(musician), non_performing_personnel(record producer), ; group_or_band (in SUMO MusicalGroup), classical_ensemble (SUMO has Orchestra) and temporary(??) (subclass SoloSinger MusicalArtist) (subclass Musician MusicalArtist) @@ -1609,8 +1609,8 @@ facilitate the meeting of a church.") ; also have genres of music like: Pop, R&B, Dance-pop. etc... LABELS and GENRES (notoriously difficult to classify) LATER TOO? ; if above is good then we can have currentMembers of MusicalGroup and previousMembers? ;-------------------------------------------------------------------------------- -; Wikipedia has an infobox for criminals, with extra attributes: allegiance e.g. Lucchese crime family, motive, charge (tax evasion), -; conviction, conviction_penalty, conviction_status +; Wikipedia has an infobox for criminals, with extra attributes: allegiance e.g. Lucchese crime family, motive, charge (tax evasion), +; conviction, conviction_penalty, conviction_status (instance Criminal SocialRole) (documentation Criminal EnglishLanguage "The Attribute of a CognitiveAgent when he/ she has been convicted of some &%CriminalAction.") (=> @@ -1624,7 +1624,7 @@ facilitate the meeting of a church.") (refers ?LC ?LA) (patient ?LC ?P)))) -; if someone is a criminal there exists a (Legal) criminal Action ?C and conviction such that the conviction refers to the action and the conviction applies to the person. +; if someone is a criminal there exists a (Legal) criminal Action ?C and conviction such that the conviction refers to the action and the conviction applies to the person. (=> (instance ?LCharge LegalCharge) (exists (?C ?LC) @@ -1633,11 +1633,11 @@ facilitate the meeting of a church.") (instance ?LC LegalConviction) (refers ?LC ?C) (result ?LCharge ?LC)))) - + ; something is a legal charge if there is a criminal action ?C and a legal conviction ?LC and the result of the legal charge is the legal conviction ; legal charge should be tax evasion, murder, manslaughter, bribery, embezzlement, etc.. -; motive too hard, penalty ?? - +; motive too hard, penalty ?? + ;----------------------------------------------------------------------------- ; infobox for Astronauts, need the extra attributes: ; rank Insert the person's military rank, if any. @@ -1667,8 +1667,8 @@ facilitate the meeting of a church.") (exists (?INSPACE) (and (instance ?INSPACE SpaceTransportation) - (subProcess ?INSPACE ?FLYINSPACE)))) - + (subProcess ?INSPACE ?FLYINSPACE)))) + ;; for military rank we have subattributes of MilitaryOfficer, like CaptainOfficer, Colonel, etc..maybe need the others? ; wikipedia has: ;Admiral of the Fleet Marshal /Field Marshal Marshal of the Air Force @@ -1716,13 +1716,13 @@ facilitate the meeting of a church.") (subclass OfficeHolder Position) (documentation OfficeHolder EnglishLanguage "the existing holder of a political office.") ;positions that we have that should be(?) office holders: -; should a Monarch be an OfficeHolder? +; should a Monarch be an OfficeHolder? (instance President OfficeHolder) ; should be related to ExecutiveBranchFn? (documentation President EnglishLanguage "President is a common title for the heads of state of most republics, whether popularly elected, chosen by the legislature or by a special electoral college.") (instance VicePresident OfficeHolder) (instance USGovernor OfficeHolder) -(documentation USGovernor EnglishLanguage "the head of an American state government.") +(documentation USGovernor EnglishLanguage "the head of an American state government.") (instance LieutenantGovernor OfficeHolder) (instance PrimeMinister OfficeHolder) (documentation PrimeMinister EnglishLanguage "A prime minister is the most senior minister of cabinet in the executive branch of government in a parliamentary system.") @@ -1745,7 +1745,7 @@ facilitate the meeting of a church.") (subclass Congress LegislativeOrganization) (documentation Congress EnglishLanguage "A congress is a national legislative assembly.") (instance USCongress LegislativeOrganization) -(documentation USCongress EnglishLanguage "The &%USCongress is the bicameral legislature of the federal government of the United States, consisting of the Senate and the House of Representatives.") +(documentation USCongress EnglishLanguage "The &%USCongress is the bicameral legislature of the federal government of the United States, consisting of the Senate and the House of Representatives.") (instance USSenate LegislativeChamber) (documentation USSenate EnglishLanguage "The United States Senate is the upper house of the bicameral legislature of the United States.") (instance USHouseOfRepresentatives LegislativeChamber) @@ -1753,7 +1753,7 @@ facilitate the meeting of a church.") (instance USHouseRepresentative OfficeHolder) (documentation USHouseRepresentative EnglishLanguage "A US house representative is a member of the legislative, elected for two years and who serves the people of a specific congressional district by introducing bills and serving on committees, among other duties.") (instance Senate LegislativeChamber) -(documentation Senate EnglishLanguage "A senate is a deliberative assembly, often the upper house or chamber of a legislature or parliament.") +(documentation Senate EnglishLanguage "A senate is a deliberative assembly, often the upper house or chamber of a legislature or parliament.") (=> (instance ?P Senator) @@ -1761,16 +1761,16 @@ facilitate the meeting of a church.") (instance ?P Human) (instance ?S Senate) (member ?P ?S))) - + (=> (instance ?P USHouseRepresentative) (and (instance ?P Human) (instance ?H USHouseOfRepresentatives) - (member ?P ?H))) - -(instance USSenator OfficeHolder) -(documentation USSenator EnglishLanguage "A US Senator is a member of the legislative, elected for six years and who serves the people of a state, there are two Senators for each US State.") + (member ?P ?H))) + +(instance USSenator OfficeHolder) +(documentation USSenator EnglishLanguage "A US Senator is a member of the legislative, elected for six years and who serves the people of a state, there are two Senators for each US State.") (instance USMemberOfCongress OfficeHolder) (documentation USMemberOfCongress EnglishLanguage "A US Memeber of Congress is a member of the legislative, either the House of representatives or the Senate.") ; is this not true for all congresses in the world. in Canada one votes for the Commons, but not for the Senate @@ -1780,16 +1780,16 @@ facilitate the meeting of a church.") (and (instance ?E Election) (electionWinner ?E ?MemberOfCongress ?P)))) - + (=> (instance ?P USMemberOfCongress) (or (instance ?P USSenator) - (instance ?P USHouseRepresentative))) - - + (instance ?P USHouseRepresentative))) + + ; from Government.kif 1790 -;(instance BicameralLegislature FormOfGovernment) +;(instance BicameralLegislature FormOfGovernment) ;(=> ; (instance ?LEGE BicameralLegislature) ; (exists (?CHAMBER1 ?CHAMBER2) @@ -1806,19 +1806,19 @@ facilitate the meeting of a church.") (instance MemberOfParliament OfficeHolder) ; for National Assembly in Wales-- wikipedia has AM (instance MemberOfAssembly OfficeHolder) -; while Senators are easy, there are too many lower chambers. +; while Senators are easy, there are too many lower chambers. ;(instance MemberOfEuropeanParliament OfficeHolder) ; Wikipedia treats judges as OfficeHolders perhaps because of the Chief Justice of the United States and the Supreme Court. ; SUMO has the concept Judge, sub-attribute of Attorney, that maybe should be called Lawyer, as the term attorney is very specific to the US. ; The wikipedia concept of Candidate/Nominee seems excessive. ;------------------------------------------------------------------- -; Wikipedia has quite a bit on nobility and monarchs, but apart from easy translations like Consort--> spouse, Issue -->Offspring, +; Wikipedia has quite a bit on nobility and monarchs, but apart from easy translations like Consort--> spouse, Issue -->Offspring, ; Coronation date and House (Dynasty), predecessor and successor are the attributes. ; also wikipedia has offstyle, altstyle, dipstyle (diplomatic reference) as ways of addressing monarchs and dignataries -; need to add anthem and motto -(documentation Motto EnglishLanguage "A motto is a phrase meant to formally summarize the general motivation or intention of a social group or organization.") +; need to add anthem and motto +(documentation Motto EnglishLanguage "A motto is a phrase meant to formally summarize the general motivation or intention of a social group or organization.") (subclass Motto Text) (=> @@ -1827,16 +1827,16 @@ facilitate the meeting of a church.") (represents ?MOTTO ?OBJ)) (or (instance ?OBJ Agent) - (instance ?OBJ Organization))) - + (instance ?OBJ Organization))) + ; Wikipedia has Baptism --> Baptizing in SUMO (subclass CoatOfArms Icon) -(documentation CoatOfArms EnglishLanguage "A coat of arms is a distinctive heraldic design, originally on a tunic used to cover and protect armor, +(documentation CoatOfArms EnglishLanguage "A coat of arms is a distinctive heraldic design, originally on a tunic used to cover and protect armor, but the term is more broadly applied to mean a full heraldic emblem which consists of a shield and certain accessories.") (subclass Noble SocialRole) -(documentation Noble EnglishLanguage "A titled peer of the realm, a member of the nobility.") +(documentation Noble EnglishLanguage "A titled peer of the realm, a member of the nobility.") ; need to add dukes, counts, marquis, princes, barons, consorts, dynasty, house, etc? ; need to link this to aristocracy and to the monarchies still existing ;;;-------------------------------------------------------------------------------------------------------- @@ -1860,10 +1860,10 @@ but the term is more broadly applied to mean a full heraldic emblem which consis (instance ?C Ceremony) (subProcess ?C ?B) (instance ?C Baptism)))) - + ;------------------------------------------------------------------------------------------------------------ -; for models and pageants titleholders wikipedia has physical attributes like Height, Hair_color, Eye_color, Measurements, Dress_size, shoe_size, collar, -; suit_size and agency. +; for models and pageants titleholders wikipedia has physical attributes like Height, Hair_color, Eye_color, Measurements, Dress_size, shoe_size, collar, +; suit_size and agency. ; for an adult we can talk about Height, Hair and eye color and measurements (=> (and @@ -1873,9 +1873,9 @@ but the term is more broadly applied to mean a full heraldic emblem which consis (greaterThan ?H (MeasureFn 90 Inch)))) ;; should have "the spectral colors" (rainbow colors) as well as Primary and Secondary Colors? -;; violet +;; violet ;; blue, red, yellow there as primary colors -;; cyan/indigo +;; cyan/indigo ;; green, orange, brown, purple and gray there as secondary colors (subclass SpectralColor ColorAttribute) @@ -1912,13 +1912,13 @@ pure spectral colors.") (=> (instance ?C EyeColor) (exists (?E ?I) - (and + (and (instance ?E Eye) (instance ?I Iris-Eye) (part ?I ?E) - (color ?I ?C)))) - -(=> + (color ?I ?C)))) + +(=> (and (instance ?H Human) (instance ?C EyeColor)) @@ -1930,20 +1930,20 @@ pure spectral colors.") (equal ?C Blue) (equal ?C HazelColor) (equal ?C VioletColor) - (equal ?C Pink))) - + (equal ?C Pink))) + (instance HazelColor ColorAttribute) -(documentation HazelColor EnglishLanguage "Hazel eyes often appear to shift in color from a brown to a green. Although hazel mostly consists of brown and green, the dominant color in the eye can either be brown/gold or green..") +(documentation HazelColor EnglishLanguage "Hazel eyes often appear to shift in color from a brown to a green. Although hazel mostly consists of brown and green, the dominant color in the eye can either be brown/gold or green..") ;; dress size, suite size depend on country leaving for later. ;Pageants have competitions as well. Fashion designers have labels. ; Still missing radio hosts/presenters and Saints and other ReligiousPositions. ;;--------------------------------------------------------------------------- -; Chefs in wikipedia are Celebrity chefs so they have ratings (Michelin stars) and television programs. +; Chefs in wikipedia are Celebrity chefs so they have ratings (Michelin stars) and television programs. ; Karen dealing with television programs, discussin with her on whether Restaurants need to have chefs or not. ;-------------------------------------------------------------------------------- -; a signature in wikipedia: A signature is a hand-written, possibly stylized, version of someone's name, which may be used to confirm the person's identity. +; a signature in wikipedia: A signature is a hand-written, possibly stylized, version of someone's name, which may be used to confirm the person's identity. (instance Signature ContentBearingObject) (documentation Signature EnglishLanguage "A signature is a hand-written, possibly stylized, version of someone's name, which may be used to confirm the person's identity.") @@ -1958,11 +1958,11 @@ pure spectral colors.") (result ?SIGNING ?SIG) (agent ?SIGNING ?P) (patient ?SIGNING ?DOC)))) - -; Needed to change SigningADocument for the above to work. + +; Needed to change SigningADocument for the above to work. ; New version is: (subclass SigningADocument Committing) -(documentation SigningADocument EnglishLanguage "Signing a document it is to give evidence of both the provenance of the document (identity) and +(documentation SigningADocument EnglishLanguage "Signing a document it is to give evidence of both the provenance of the document (identity) and the intention (will) of an individual with regard to that document.") (=> (instance ?SIGNING SigningADocument) @@ -1970,16 +1970,16 @@ the intention (will) of an individual with regard to that document.") (and (instance ?DOC LinguisticExpression) (patient ?SIGNING ?DOC)))) -;; the old version which describes explicitly the contents of the document signed as an Agreement has been renamed as SigningAnAgreement, vcvp. +;; the old version which describes explicitly the contents of the document signed as an Agreement has been renamed as SigningAnAgreement, vcvp. ;--------------------------------------------------------------------------------------- ; from http://en.wikipedia.org/wiki/Category:People_infobox_templates -; Sumo has Journalist, wikipedia has five subcategories: News anchors, Journalists, Weather-persons, Reporters, Current affairs show presenters +; Sumo has Journalist, wikipedia has five subcategories: News anchors, Journalists, Weather-persons, Reporters, Current affairs show presenters ;(e.g. 20/20, Panorama, Prime Time) maybe should have these subcategories? ;------------------------------------------------------------------------------------------- ;A martyr is a person who is put to death or endures suffering because of a belief, principle, or cause. (documentation Belief EnglishLanguage "Any cognitive content held as true by some agent.") (subclass Martyr SocialRole) -(documentation Martyr EnglishLanguage "one who suffers for the sake of principle.") +(documentation Martyr EnglishLanguage "one who suffers for the sake of principle.") (subclass Belief Proposition) (=> @@ -1988,23 +1988,23 @@ the intention (will) of an individual with regard to that document.") (and (instance ?H Human) (believes ?H ?B)))) - + ;(=> ; (instance ?M Martyr) ; (exists (?D ?P ?B) ; (and ; (instance ?B Belief) ; (causes ?B ?SUFF) -; (instance ?D Death) +; (instance ?D Death) ; (instance ?P Pain) ; (instance ?SUFF (or ?D ?P))))) ; this doesn't work, need to think about it. ;------------------------------------------------------------------------------------------- (subclass Murderer Criminal) -(documentation Murderer EnglishLanguage "A criminal who commits homicide, that is the unlawful premeditated killing of another human being.") -(subclass MassMurderer Murderer) -(documentation MassMurderer EnglishLanguage "A person who is responsible for the deaths of many victims in a single incident.") +(documentation Murderer EnglishLanguage "A criminal who commits homicide, that is the unlawful premeditated killing of another human being.") +(subclass MassMurderer Murderer) +(documentation MassMurderer EnglishLanguage "A person who is responsible for the deaths of many victims in a single incident.") ;(subclass Murder Killing) (=> (instance ?M Murderer) @@ -2012,7 +2012,7 @@ the intention (will) of an individual with regard to that document.") (and (instance ?K Killing) (agent ?K ?M)))) - + ; wikipedia: According to the FBI, mass murder is defined as four or more murders occurring during a particular event with no cooling-off period between the murders. ;(=> ; (instance ?MM MassMurderer) From d4acc0edaf9c2f6d59c63d5faa4c0d55157e4293 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Per=20Nordl=C3=B6w?= Date: Mon, 21 Aug 2017 01:40:43 +0200 Subject: [PATCH 2/2] Remove exec permissions on some .kif and .txt files --- CountriesAndRegions.kif | 0 Food.kif | 0 Merge.kif | 0 Mid-level-ontology.kif | 0 Sports.kif | 0 Translations/french_format.kif | 0 Translations/relations-de.txt | 0 Transportation.kif | 0 UXExperimentalTerms.kif | 0 WordNetMappings/WordNetMappings30-verb.txt | 0 development/Biography.kif | 0 development/DimensioningAmenities.kif | 0 development/Facebook.kif | 0 development/HouseholdAppliances.kif | 0 development/LinkedInDegrees.kif | 0 development/Offers.kif | 0 development/Society.kif | 0 development/TravelPolicies.kif | 0 mappings/DHS_Taxonomy.kif | 0 pictureList.kif | 0 20 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 CountriesAndRegions.kif mode change 100755 => 100644 Food.kif mode change 100755 => 100644 Merge.kif mode change 100755 => 100644 Mid-level-ontology.kif mode change 100755 => 100644 Sports.kif mode change 100755 => 100644 Translations/french_format.kif mode change 100755 => 100644 Translations/relations-de.txt mode change 100755 => 100644 Transportation.kif mode change 100755 => 100644 UXExperimentalTerms.kif mode change 100755 => 100644 WordNetMappings/WordNetMappings30-verb.txt mode change 100755 => 100644 development/Biography.kif mode change 100755 => 100644 development/DimensioningAmenities.kif mode change 100755 => 100644 development/Facebook.kif mode change 100755 => 100644 development/HouseholdAppliances.kif mode change 100755 => 100644 development/LinkedInDegrees.kif mode change 100755 => 100644 development/Offers.kif mode change 100755 => 100644 development/Society.kif mode change 100755 => 100644 development/TravelPolicies.kif mode change 100755 => 100644 mappings/DHS_Taxonomy.kif mode change 100755 => 100644 pictureList.kif diff --git a/CountriesAndRegions.kif b/CountriesAndRegions.kif old mode 100755 new mode 100644 diff --git a/Food.kif b/Food.kif old mode 100755 new mode 100644 diff --git a/Merge.kif b/Merge.kif old mode 100755 new mode 100644 diff --git a/Mid-level-ontology.kif b/Mid-level-ontology.kif old mode 100755 new mode 100644 diff --git a/Sports.kif b/Sports.kif old mode 100755 new mode 100644 diff --git a/Translations/french_format.kif b/Translations/french_format.kif old mode 100755 new mode 100644 diff --git a/Translations/relations-de.txt b/Translations/relations-de.txt old mode 100755 new mode 100644 diff --git a/Transportation.kif b/Transportation.kif old mode 100755 new mode 100644 diff --git a/UXExperimentalTerms.kif b/UXExperimentalTerms.kif old mode 100755 new mode 100644 diff --git a/WordNetMappings/WordNetMappings30-verb.txt b/WordNetMappings/WordNetMappings30-verb.txt old mode 100755 new mode 100644 diff --git a/development/Biography.kif b/development/Biography.kif old mode 100755 new mode 100644 diff --git a/development/DimensioningAmenities.kif b/development/DimensioningAmenities.kif old mode 100755 new mode 100644 diff --git a/development/Facebook.kif b/development/Facebook.kif old mode 100755 new mode 100644 diff --git a/development/HouseholdAppliances.kif b/development/HouseholdAppliances.kif old mode 100755 new mode 100644 diff --git a/development/LinkedInDegrees.kif b/development/LinkedInDegrees.kif old mode 100755 new mode 100644 diff --git a/development/Offers.kif b/development/Offers.kif old mode 100755 new mode 100644 diff --git a/development/Society.kif b/development/Society.kif old mode 100755 new mode 100644 diff --git a/development/TravelPolicies.kif b/development/TravelPolicies.kif old mode 100755 new mode 100644 diff --git a/mappings/DHS_Taxonomy.kif b/mappings/DHS_Taxonomy.kif old mode 100755 new mode 100644 diff --git a/pictureList.kif b/pictureList.kif old mode 100755 new mode 100644