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 |
![]() |