instance

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


(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (names "Montenegro" Montenegro)))
Media.kif 2535-2538 Zeitposition ist ein fall von der tag 3 und names "Montenegro" and Montenegro haelt waehrend nach ** Zeitposition
(holdsDuring
    (FutureFn ?TIME)
    (and
        (instance ?TIME
            (DayFn 3
                (MonthFn June
                    (YearFn 2006))))
        (not
            (instance SerbiaAndMontenegro IndependentState))))
Media.kif 2548-2552 Zeitposition ist ein fall von der tag 3 und SerbiaAndMontenegro ist ein fall von IndependentState nicht haelt waehrend nach ** Zeitposition
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))
Government.kif 2752-2755 Zeitposition ist ein fall von der tag 1 und conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations haelt waehrend sofort nach ** Zeitposition
(holdsDuring
    (ImmediateFutureFn ?TIME)
    (and
        (instance ?TIME
            (YearFn 1996))
        (conventionalLongName "Agency for the French_Speaking Community" AgencyForTheFrenchSpeakingCommunity)))
Government.kif 2726-2730 Zeitposition ist ein fall von das jahr 1996 und conventionalLongName "Agency for the French_Speaking Community" and AgencyForTheFrenchSpeakingCommunity haelt waehrend sofort nach ** Zeitposition
(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 und biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE und ?PROCESS ist ein fall von ?PROCESSTYPE und ?ORGANISM erfaehrt ?PROCESS vergroessert die Wahrscheinlichkeit von ?SYMPTOM ist ein attribut von ?ORGANISM
(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))
ComputerInput.kif 2011-2015 ~{ hasGUEState GUIElement and GUE_NonVisibleState } oder ~{ hasGUEState ** GUIElement and GUE_ActiveState } oder ~{ ** GUIElement ist ein fall von InterfaceWindow }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))
ComputerInput.kif 2226-2229 ~{ GUIElement ist ein fall von Cursor } oder ~{ hasGUEState ** GUIElement and GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))
ComputerInput.kif 1952-1955 ~{ GUIElement ist ein fall von MouseCursor } oder ~{ 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 6124-6131 Es gibt nicht Graphweg und ** Graphweg um ** Graphweg ist ein fall von die menge von Pfaden die Graph in zwei verschiedene Graphen schnitten und ** ** Graphweg ist ein fall von die menge von minimalen Pfaden die ** Graph in zwei verschiedene Graphen schnitten und die laenge von ** Graphweg ist positive Ganzzahl und die laenge von ** ** Graphweg ist ** positive Ganzzahl und ** positive Ganzzahl ist kleinerAls ** ** positive Ganzzahl


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