or |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage or "或") | domainEnglishFormat.kif 42399-42399 | |
(termFormat ChineseTraditionalLanguage or "或") | domainEnglishFormat.kif 42398-42398 | |
(termFormat EnglishLanguage or "or") | domainEnglishFormat.kif 42397-42397 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 933-946 | The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string |
(format sv ArcCosineFn (or "arccosinus av %1" "arccos(%1)")) |
relations-sv.txt 462-463 | |
(format sv ArcSineFn (or "arcsinus av %1" "arcsin(%1)")) |
relations-sv.txt 464-465 | |
(format sv ArcTangentFn (or "arctangens av %1" "arctan(%1)")) |
relations-sv.txt 466-467 | |
(format sv BeginNodeFn (or "början för %1" "startnoden för %1")) |
relations-sv.txt 533-534 | |
(format sv CosineFn (or "cosinus av %1" "cos(%1)")) |
relations-sv.txt 469-470 | |
(format sv DomainFn (or "domänen för %1" "definitionsmängden för %1")) |
relations-sv.txt 209-210 | |
(format sv EndNodeFn (or "slutet för %1" "slutnoden för %1")) |
relations-sv.txt 535-536 | |
(format sv MaxFn (or "den större av %1 och %2" "den största av %1 och %2" "maximum av %1 och %2" "max(%1,%2)")) |
relations-sv.txt 479-482 | |
(format sv MaximalWeightedPathFn (or "den mest kostsamma vägen mellan %1 och %2" "längsta vägen mellan %1 och %2")) |
relations-sv.txt 540-541 | |
(format sv MinFn (or "den mindre av %1 och %2" "den minsta av %1 och %2" "minimum av %1 och %2" "min(%1,%2)")) |
relations-sv.txt 483-486 | |
(format sv MinimalWeightedPathFn (or "den minsta kostsamma vägen mellan %1 och %2" "kortaste vägen mellan %1 och %2")) |
relations-sv.txt 538-539 | |
(format sv RangeFn (or "omfånget för %1" "värdemängden för %1")) |
relations-sv.txt 211-212 | |
(format sv RealNumberFn (or "den reella delen av %1" "realdelen av %1")) |
relations-sv.txt 489-490 | |
(format sv ReciprocalFn (or "reciproken av %1" "inversen av %1")) |
relations-sv.txt 493-494 | |
(format sv RoundFn (: "%1" (or "avrundad" "avrundat") "till närmaste heltal")) |
relations-sv.txt 497-500 | |
(format sv SineFn (or "sinus av %1" "sin(%1)")) |
relations-sv.txt 502-503 | |
(format sv TangentFn (or "tangens av %1" "tan(%1)")) |
relations-sv.txt 505-506 | |
(format sv WhenFn (or "tiden då %1 existerade" "existerande tid för %1")) |
relations-sv.txt 290-291 | |
(format sv before (or "%1 inträffar %n{inte} före %2" "%2 inträffar %n{inte} efter %1")) |
relations-sv.txt 267-268 | |
(format sv beforeOrEqual (or "%1 inträffar %n{inte} före eller vid %2" "%2 inträffar %n{inte} efter eller vid %1")) |
relations-sv.txt 269-270 | |
(format sv bottom (or "botten av %2 är %n{inte} %1" "%1 är %n{inte} botten av %2")) |
relations-sv.txt 224-225 | |
(format sv connectedEngineeringComponents (or "%1 är %n{inte} ansluten till %2" "%1 är %n{inte} sammankopplad med %2")) |
relations-sv.txt 350-351 | |
(format sv connectsEngineeringComponents (or "%1 ansluter %n{inte} %2 och %3" "%1 sammankopplar %n{inte} %2 och %3")) |
relations-sv.txt 352-353 | |
(format sv cooccur (or "%1 sker %n{inte} samtidigt som %2" "%1 sker %n{inte} vid samma tidpunkt som %2")) |
relations-sv.txt 278-279 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |