instance

-------------------------


(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))		 Media.kif 2533-2536 Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))		 Media.kif 2546-2550 Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))		 Government.kif 2791-2794 Posicao Temporal e' uma instancia de o dia 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vale durante imediatemente apos Posicao Temporal
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))		 Government.kif 2765-2769 Posicao Temporal e' uma instancia de o ano 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity vale durante imediatemente apos Posicao Temporal
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 767-773 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM
(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))		 ComputerInput.kif 2011-2015 ~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElement e' uma instancia de InterfaceWindow }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))		 ComputerInput.kif 2226-2229 ~{ GUIElement e' uma instancia de Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))		 ComputerInput.kif 1952-1955 ~{ GUIElement e' uma instancia de MouseCursor } ~{ hasGUEState GUIElement and GUE_ActiveState }
(not
    (exists (?PATH1 ?PATH2)
        (and
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2))))		 Merge.kif 6099-6106 Caminho do Grafo Caminho do Grafo Caminho do Grafo e' uma instancia de o conjunto de caminhos que dividem Grafo em dois grafos distintos Caminho do Grafo e' uma instancia de o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos o comprimento de Caminho do Grafo e' Inteiro positivo o comprimento de Caminho do Grafo e' Inteiro positivo Inteiro positivo e' menos que Inteiro positivo


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