(=>     (subProposition UniversalSuffrageLaw         (RegionalLawFn ?POLITY))     (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE)         (=>             (and                 (citizen ?AGENT ?POLITY)                 (suffrageAgeMinimum ?POLITY                     (MeasureFn ?VOTINGAGE YearDuration))                 (age ?AGENT                     (MeasureFn ?AGE YearDuration))                 (greaterThanOrEqualTo ?AGE ?VOTINGAGE)                 (instance ?ELECTION                     (ElectionFn ?POLITY)))             (capability                 (VotingFn ?ELECTION) agent ?AGENT))))	Government.kif 1106-1118	Wenn UniversalSuffrageLaw ist eine teilangelegenheit von RegionalLawFn Nation %n{nicht}, dann fuer alle Human, Election,, , RealNumber, and und ** RealNumber wenn ** Human ist der buerger von ** Nation und suffrageAgeMinimum ** Nation and ** RealNumber YearDuration(s) und das alter von ** Human ist ** ** RealNumber YearDuration(s) %n{nicht} und ** ** RealNumber ist groesserAlsOderGleich ** RealNumber %n{nicht} und ** Election ist ein fall von ElectionFn ** Nation %n{nicht}, dann ** Human ist faehig %n{nicht}, in der Rolle agent VotingFn ** Election zu tun
(=>     (subclass ?F Fertilisation)     (capability ?F patient Organism))	Mid-level-ontology.kif 23987-23989	Wenn ** Process ist eine teilkategorie von Fertilisation, dann Organism ist faehig %n{nicht}, in der Rolle patient ** Process zu tun
(=>     (trusts ?A1 ?A2         (capability ?P agent ?A2))     (knows ?A1         (capability ?P agent ?A2)))	Law.kif 384-388	Wenn trusts CognitiveAgent, AutonomousAgent and ** AutonomousAgent ist faehig %n{nicht}, in der Rolle agent entity zu tun, dann ** CognitiveAgent kennt ** AutonomousAgent ist faehig %n{nicht}, in der Rolle agent ** entity zu tun %n{nicht}

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners