• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Kurt Gödel Society     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:SocialGroup107950920, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: Thingyago:WikicatLogicOrganizationsyago:WikicatOrganisationsBasedInAustriayago:WikicatOrganizationsEstablishedIn1987yago:Abstraction100002137yago:Alliance108293982yago:Group100031264yago:Organization108008335yago:WikicatInternationalOrganizationsyago:WorldOrganization108294696yago:YagoLegalActoryago:YagoLegalActorGeoyago:YagoPermanentlyLocatedEntityyago:SocialGroup107950920 New Facet based on Instances of this Class

The Kurt Gödel Society was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to connections with Kurt Gödel, in whose honour it was named. The group also organizes an ongoing lecture series called Collegium Logicum. Former speakers include Henk Barendregt, George Boolos, Jaakko Hintikka and Wilfrid Hodges.