<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/TXPO?iri=http://purl.obolibrary.org/obo/TXPO_0003112"?>
<rdf:RDF xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.w3.org/2002/07/owl"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:ns2="http://purl.obolibrary.org/obo/"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/">
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Annotation properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Datatypes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://purl.obolibrary.org/obo/TXPO_0000600 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/TXPO_0000600">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">meta-functioning process</rdfs:label>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/TXPO_0003112 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/TXPO_0003112">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">allowing</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/TXPO_0000600"/>
        <ns2:IAO_0000115 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Preventing is a type of functioning process of meta-function of &quot;ToPrevent&quot;.

Two meta-functions &quot;ToAllow&quot; and  &quot;ToPrevent&quot; are concerned with the undesirable side effects of functions.

A function fa having positive effects on the side effect of a function ft1 is said to have a meta-function “to allow the side-effects of ft1”.
The “undesirable side effect” is defined in a relation with another function ft2 or the whole system.
The “positive effect” means such a causal relation that increase of the focused attribute of fa causes decrease of the side effect.

If a serious trouble (e.g., faults) will be caused in a function ft2 when a function fa is not achieved, function fa is said to have a meta-function “to prevent malfunction of ft2”.
For example, the “to super-heat” function of the boiler prevents malfunction of the turbine, because the steam of low temperature would damage the turbine blade by water particles. For almost all fa performing a ToAllow meta-function for ft1, in general, there exists a ToPrevent meta-function for another function ft2.</ns2:IAO_0000115>
    </Class>
</rdf:RDF>



<!-- Generated by the OWL API (version 3.2.4.1806) http://owlapi.sourceforge.net -->



