Created
December 27, 2022 08:51
-
-
Save automenta/e25fa7d693b6ac17ca91c5fcbd83ee4e to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| saveModel: False | |
| system: | |
| seed: 0 | |
| work_dir: ./out/chargpt | |
| data: | |
| block_size: 512 | |
| model: | |
| model_type: gpt-mini | |
| activation: LeakyReLU(negative_slope=0.01) | |
| n_layer: None | |
| n_head: None | |
| n_embd: None | |
| vocab_size: None | |
| block_size: None | |
| attn_pdrop: 0.25 | |
| resid_pdrop: 0.25 | |
| embd_pdrop: 0.25 | |
| trainer: | |
| device: auto | |
| max_iters: 100000.0 | |
| batch_size: 8 | |
| learning_rate: 0.0005 | |
| betas: (0.9, 0.999) | |
| eps: 1e-08 | |
| weight_decay: 0.2 | |
| grad_norm_clip: None | |
| grad_accumulation_steps: 1 | |
| data has 611144 characters, 95 unique. | |
| number of parameters: 6473984 | |
| running on device cuda | |
| iter_dt 113.47ms; iter 50: train loss 3.42333 | |
| iter_dt 109.11ms; iter 100: train loss 2.71467 | |
| iter_dt 101.08ms; iter 150: train loss 2.49113 | |
| iter_dt 103.40ms; iter 200: train loss 2.40211 | |
| iter_dt 101.02ms; iter 250: train loss 2.34484 | |
| iter_dt 104.29ms; iter 300: train loss 2.26121 | |
| iter_dt 106.40ms; iter 350: train loss 2.20990 | |
| iter_dt 101.65ms; iter 400: train loss 2.10779 | |
| iter_dt 104.06ms; iter 450: train loss 2.04285 | |
| iter_dt 102.86ms; iter 500: train loss 1.96264 | |
| iter_dt 100.74ms; iter 550: train loss 1.88371 | |
| iter_dt 102.85ms; iter 600: train loss 1.83038 | |
| iter_dt 100.19ms; iter 650: train loss 1.76713 | |
| iter_dt 100.89ms; iter 700: train loss 1.72916 | |
| iter_dt 102.74ms; iter 750: train loss 1.67309 | |
| iter_dt 100.47ms; iter 800: train loss 1.64491 | |
| iter_dt 100.66ms; iter 850: train loss 1.57367 | |
| iter_dt 101.54ms; iter 900: train loss 1.52139 | |
| iter_dt 102.53ms; iter 950: train loss 1.51241 | |
| iter_dt 102.36ms; iter 1000: train loss 1.44912 | |
| (and | |
| (exinsts (?PROC ?PROC1) | |
| (and | |
| (instance ?PROC1 DisicComposicalPart ?PROW)) | |
| (=> | |
| (and | |
| (tribute ?PROP ?OP) | |
| (and | |
| (holdsDuring ?BOOP ?PROPROP) | |
| (holesDuring ?PROPROOIOP2) | |
| (holdsDuring (Huring ?OPROC ?OPAROP) (gristage ?PROP ?OPROP2) | |
| (meat ?PROPAP ?OP) | |
| (attttribute ?COSOSSOP)))) | |
| (=> | |
| (instance ?BJ Organisming ?PROP ?SOBJ) | |
| (atttribute ?PROPROW) | |
| (agenttttribute ?PROS ?PROS))) | |
| (subclasss Batttotrat BinaryPredicate) | |
| (documentation EnglishLanguage "(&%SoginLanglishLanguage ?PROW) | |
| reanss that is a munt whathat the are a tha mormaticates be las onont | |
| rincalas of tratipart &%Prointibutes.") | |
| (documentation SomminalDimeing EnglishLanguage "A trialy revicing the o am the the the &%Plit is istancese in alsstis tance of an &%Classs tued and on the an | |
| cond, exposie ind at the at a ithe aba ampenedit rand beand wimen ant o an in that re &%TimeInted otha e the sand spuropararted bspeces | |
| obe a bes.") | |
| (=> | |
| (holdsDuring ?DEMULA (Whearering ?DENGR) | |
| (exists (?THEAC ?PRP) | |
| (and | |
| (partsThathaph ?FATINT ?NTRVANG ?NTRERONG)))) | |
| (=> | |
| (atttttribute ?TRENT Colemporosing) | |
| (instance ?RERES ImpointicalPitit ?NULAG))) | |
| (instance maretiticRelation) | |
| (instance TimalermingPredicat EnglishLanguage "(&%prosss ?NAMEMER ?FONT) meand that the ?NOLE &%Fingeg) that that t that thappart ?FORONGY is ansmalless of &%PromintapheAgert) | |
| (instance SeationalObjectingAgentt SeglishLanguage inglishLanguage "The &%Organis of &%Classs of the &%Plesss and &%Intategention a &%Objectimegent) | |
| (instance CougntiteFn TinalValuedRelation) | |
| (instance crieng LeringlisingRelation) | |
| (domain togeminFn 1 RelalasingProipt) | |
| (domain itribute 2 Propodint) | |
| (documentation Foten EnglishLanguage "An &%Processs in an f &%ConententDeayFncamention.") | |
| (instance Segntingh UnitityFn CoremingIntegerintion) | |
| (domain supurosit 2 Oneganization) | |
| (domain cotingng TenergishLanguage "A &%FaryFinction a the the othat that mating the an an on | |
| &%GraningishLanguage in crorviticSubstance ond and the tha | |
| iter_dt 101.33ms; iter 1050: train loss 1.43126 | |
| iter_dt 101.36ms; iter 1100: train loss 1.37983 | |
| iter_dt 102.28ms; iter 1150: train loss 1.35465 | |
| iter_dt 100.22ms; iter 1200: train loss 1.31850 | |
| iter_dt 102.23ms; iter 1250: train loss 1.26057 | |
| iter_dt 102.05ms; iter 1300: train loss 1.21765 | |
| iter_dt 101.09ms; iter 1350: train loss 1.21409 | |
| iter_dt 101.32ms; iter 1400: train loss 1.12954 | |
| iter_dt 100.84ms; iter 1450: train loss 1.09831 | |
| iter_dt 107.35ms; iter 1500: train loss 1.09532 | |
| iter_dt 101.96ms; iter 1550: train loss 1.06897 | |
| iter_dt 103.62ms; iter 1600: train loss 1.04153 | |
| iter_dt 100.74ms; iter 1650: train loss 1.03696 | |
| iter_dt 100.99ms; iter 1700: train loss 1.02948 | |
| iter_dt 102.71ms; iter 1750: train loss 0.98767 | |
| iter_dt 102.05ms; iter 1800: train loss 0.95204 | |
| iter_dt 100.77ms; iter 1850: train loss 0.95721 | |
| iter_dt 101.29ms; iter 1900: train loss 0.94429 | |
| iter_dt 102.28ms; iter 1950: train loss 0.92082 | |
| iter_dt 101.25ms; iter 2000: train loss 0.89803 | |
| (=> | |
| (and | |
| (equal | |
| (MeasureFn ?NUMBER ?NUMBER) | |
| (MeasureFn ?NUMBER ?NUMBER))) | |
| (equal ?NUMBER ?NUMBER) | |
| (MeasureFn ?NUMBER ?NUMBER 2))) | |
| (=> | |
| (and | |
| (mber ?NUMBER ?NUMBER ?NUMBER) | |
| (mber ?NUMBER ?NUMBER ?NUMBER) | |
| (not | |
| (equal ?NUMBER ?NUMBER ?NUMBER) | |
| (MeasureFn ?NUMBER ?NUMBER ?NUMBER ?NUMBER)))))))) | |
| (instance Quatity UnitOfMinineultiplieRelation) | |
| (documentation Quatity EnglishLanguage "A &%UnitOfMeasure that as &%Number that is function. Number the to the | |
| condine &%Region that can on and in the stame of in a equal tit of the &%Mutiple.") | |
| (=> | |
| (instance ?QUANT ?NUMBER) | |
| (equal ?QUANT (MutiplicerFn ?NUMBER ?NUMBER ?NUMBER)) | |
| (meetsTemporalllly ?NUMBER ?UMBER))) | |
| (meetsTemporalllly ?NUMBER ?NUMBER ?UMBER)) | |
| (equal | |
| (MeasureFn ?NUMBER 00) ?UMBER ?U) | |
| (MeasureFn ?NUMBER 102))) 1800000000400001)) | |
| (=> | |
| (MeasureFn ?NUMBER (MeasureFn ?UMBER ?U)))) | |
| (and | |
| (instance ?QUANT Integer) | |
| (equal ?QUANT ?UMBER ?U)) | |
| (equal | |
| (MeasureFn ?NUMBER ?UNIT))) | |
| (MeasureFn ?NUMBER 1000000000 ?U) 2)) | |
| (MutiplicationFn ?UNIT ?U))) | |
| (subclass UnitOfValue UnitOfValue UnitOfMeasure) | |
| (documentation UnitOfValue EnglishLanguage "The unit of a &%UnitOfValue | |
| compont is a subclass of that of other of sedemantion.") | |
| (=> | |
| (and | |
| (equal ?UNIT ?U) | |
| (meter))) | |
| (equal (MeasureFn ?UNIT) 1) | |
| (MeasureFn ?UNIT 10000000000000000000000080000000002)) 0000000000000000000000000092.000000000000000100000001200000000200000451000000021200001100000-000020000000MeYetieseMe).00000000000000000000000000000000000000 1700500000000000012200000050000000000000000,tieeuteMeulteMeuleieereMeuteeu. | |
| UnitSubeutitieesu unitOfMululeeieusu) | |
| (instance UnitOfMulenctipleuteulere UnitOfMuquanualtieue) | |
| (instance UnitOfMulultipleueure UnitOfMeasure) | |
| (domain UnitOfGultipleutipleumere 1000000000000000000000000000000000000 ultiter) | |
| (documentation UnitOfMululeulee) | |
| (documentation UnitOfMeuleultier EnglishLanguage "The forme unite une of tem.") | |
| (instance UnitOfMeasur | |
| iter_dt 102.34ms; iter 2050: train loss 0.90371 | |
| iter_dt 104.32ms; iter 2100: train loss 0.88258 | |
| iter_dt 102.37ms; iter 2150: train loss 0.89331 | |
| iter_dt 101.40ms; iter 2200: train loss 0.86444 | |
| iter_dt 101.45ms; iter 2250: train loss 0.83109 | |
| iter_dt 100.64ms; iter 2300: train loss 0.83880 | |
| iter_dt 99.68ms; iter 2350: train loss 0.85644 | |
| iter_dt 102.28ms; iter 2400: train loss 0.83733 | |
| iter_dt 104.08ms; iter 2450: train loss 0.82358 | |
| iter_dt 100.39ms; iter 2500: train loss 0.81402 | |
| iter_dt 102.90ms; iter 2550: train loss 0.79696 | |
| iter_dt 100.71ms; iter 2600: train loss 0.80358 | |
| iter_dt 100.39ms; iter 2650: train loss 0.77219 | |
| iter_dt 102.73ms; iter 2700: train loss 0.77906 | |
| iter_dt 102.85ms; iter 2750: train loss 0.75294 | |
| iter_dt 101.90ms; iter 2800: train loss 0.78694 | |
| iter_dt 99.96ms; iter 2850: train loss 0.74108 | |
| iter_dt 100.84ms; iter 2900: train loss 0.75723 | |
| iter_dt 101.62ms; iter 2950: train loss 0.75548 | |
| iter_dt 102.00ms; iter 3000: train loss 0.72421 | |
| ( (and | |
| (instance ?PART1 ?PART2) | |
| (part ?PART2 ?PART2) | |
| (instance ?PART1 PartialValuedRelation) | |
| (instance ?PART ?PART2) | |
| (part ?PART1 ?PART2) | |
| (part ?PART1 ?PART2)) | |
| (instance ?PART2 ?PART2)) | |
| (part ?PART2 ?PART1) | |
| (part ?PART1 ?PART2)) | |
| (holdsDuring (BeginFn (WhenFn ?PART2)) (conditiveArt ?PART2))) | |
| (=> | |
| (holdsDuring (EndFn (WhenFn ?PART1)) (attribute ?PART1 ?PART2)) | |
| (destination ?PART2 ?PART2)) | |
| (exists (?PART2) | |
| (and | |
| (instance ?PART1 PartialValuedRelation) | |
| (part ?PART1 ?PART2) | |
| (part ?PART1 ?PART2))) | |
| (holdsDuring | |
| (BeginFn (WhenFn ?PART1 ?PART2) (not (not (conditiveArtibute ?PART1 ?PART2)) | |
| (conditiveArtibute ?PART1 ?PART2))) | |
| (holdsDuring (EndFn (WhenFn ?PART1)) (attribute ?PART2 ?PART2)) | |
| (holdsDuring (EndFn (WhenFn ?PART1))) | |
| (holdsDuring (EndFn (WhenFn ?PART1)) (attribute ?PART2 ?PART2)))))) | |
| (subclass EndThericalValuedRelation) | |
| (documentation EndThericalValuedRelation EndThericalValuedRelation EndThericalValuedRelation EndThericalValuedRelation EndThericalValuedRelation EndThericalValuedRelation EndThericalValuedRelation) | |
| (documentation EndFn EndFn EndFn EndFn EndFn EndFn EndFn EndFn EndFn "it of a &%UnaryFunction where and &%ThericalValuedRelation | |
| (&%EndFn (&%MeasureFn 1 18 &%HuralNumber)) (&%EndFn 1)) would = 300 (&%MeasureFn 2 1")) would 34 (&%EndFn 4 (&%MeasureFn 12 &%AutondFn 192)))) would 24 38 &%Number whould %2 %2 &%RealNumber) would 112 (&%AutondFn (&%MeasureFn ?NUMBER 18 ?NUMBER1))) | |
| (=> | |
| (instance ?NUMBER Number) | |
| (equal (SubtractionFn ?NUMBER ?NUMBER2) ?NUMBER2) | |
| (lessThan ?NUMBER ?DARE) (MeasureFn ?NUMBER ?NUMBER1 124))) | |
| (equal (MeasureFn ?NUMBER1 ?NUMBER2) ?UMBER2) | |
| (greaterThan ?NUMBER ?DARE2) ?NUMBER2) | |
| (greaterThan ?NUMBER1 ?NUMBER2)) | |
| (locaterThan ?NUMBER1 ?NUMBER2)) | |
| (instance dependentPoint BinaryPredicate) | |
| (instance dependentPoi | |
| iter_dt 101.40ms; iter 3050: train loss 0.73128 | |
| iter_dt 102.92ms; iter 3100: train loss 0.74112 | |
| iter_dt 101.36ms; iter 3150: train loss 0.72550 | |
| iter_dt 101.49ms; iter 3200: train loss 0.74487 | |
| iter_dt 103.86ms; iter 3250: train loss 0.73624 | |
| iter_dt 104.76ms; iter 3300: train loss 0.71965 | |
| iter_dt 102.43ms; iter 3350: train loss 0.71575 | |
| iter_dt 103.77ms; iter 3400: train loss 0.70707 | |
| iter_dt 104.43ms; iter 3450: train loss 0.69594 | |
| iter_dt 103.47ms; iter 3500: train loss 0.70997 | |
| iter_dt 106.25ms; iter 3550: train loss 0.71878 | |
| iter_dt 105.48ms; iter 3600: train loss 0.67683 | |
| iter_dt 105.54ms; iter 3650: train loss 0.68980 | |
| iter_dt 101.14ms; iter 3700: train loss 0.72530 | |
| iter_dt 100.59ms; iter 3750: train loss 0.68137 | |
| iter_dt 101.31ms; iter 3800: train loss 0.69931 | |
| iter_dt 103.99ms; iter 3850: train loss 0.67647 | |
| iter_dt 100.90ms; iter 3900: train loss 0.65981 | |
| iter_dt 100.52ms; iter 3950: train loss 0.68515 | |
| iter_dt 105.63ms; iter 4000: train loss 0.66973 | |
| (domain connected 2 Class) | |
| (domain connnected 2 Class) | |
| (documentation connected EnglishLanguage "&%Class ?CLASS1 is the connected by | |
| ?CLASS2 and ?CLASS2.") | |
| (subclass Wertebrate Wertebrate) | |
| (documentation Wertebrate EnglishLanguage "The class of &%Wertebrates by | |
| in which classes the connected of the &%Class of merse to &%Wertebrates.") | |
| (instance Wertebrate Wertebrate) | |
| (documentation Wertebrate EnglishLanguage "An &%Wertebrates whose mers of a | |
| &%Wertebrates are &%Wertebrates.") | |
| (subclass Wertebrates Wertebrate) | |
| (documentation Wertebrates EnglishLanguage "Any &%Wertebrates which are for the vertebrates | |
| werses to be are &%Wertebrates, i.e. that in &%Wertebrates, and which is the vertebrates that | |
| the vertebrates of the same of the classes where in which changes to &%Wertebrates.") | |
| (=> | |
| (equal | |
| (Wertebrates ?WERT1 Wertebrates) | |
| (forall (?MERT2) | |
| (=> | |
| (meeetsTemporally ?MERT1 ?WERT2) | |
| (meetsTemporally ?MERT1 ?WERT2) | |
| (meetsTemporally ?MERT1 ?WERT2) | |
| (meetsTemporallly ?MERT2 ?WERT2) | |
| (meeetsTemporally ?MERT1 ?WERT2) | |
| (meetsTemporally ?MERT2 ?WEERT2))))) | |
| (=> | |
| (meetsTemporally ?MEMBERT1 ?WERT2) | |
| (meetsTemporallly ?MEMBERT2 ?WERT2) | |
| (meetsTemporallly ?MEMBERT (WeednertFn ?MEMBERT2))) | |
| (meetsTemporallly ?MEMBERT1 ?WERT2)) | |
| (meetsTemporally (WhenFn ?MEMBERT2) (WhenFn ?MEMBERT2)) | |
| (meeetsTemporally ?MEMBERT2 ?WERT2)))) | |
| (instance temporallyLengthFn BinaryFunction) | |
| (instance temporallyLengthFn TotalValuedRelation) | |
| (domain temporalllyLengthFn 1 Physical) | |
| (range temporallyLengthFn Function) | |
| (documentation temporallyLengthFn EnglishLanguage "(&%temporallyLengthFn (&%TemporalllyFn ?LENGTH1 ?LENGTH) means | |
| that ?LENGTH2 is the &%TemporalllyLength) woulth of ?LENGTH1 and ?LENGTH is a temporally in to the formulation.") | |
| (instance temporallyLengthFn UnaryFunction) | |
| (instance temporallyLengthFn TotalValuedRelation) | |
| (domain temporallyLengthFn 1 TimeInterval) | |
| (domain temporallyLengthFn 2 TimeInterval) | |
| iter_dt 99.32ms; iter 4050: train loss 0.67806 | |
| iter_dt 101.34ms; iter 4100: train loss 0.67642 | |
| iter_dt 100.72ms; iter 4150: train loss 0.66296 | |
| iter_dt 101.63ms; iter 4200: train loss 0.66360 | |
| iter_dt 102.21ms; iter 4250: train loss 0.65232 | |
| iter_dt 102.03ms; iter 4300: train loss 0.64637 | |
| iter_dt 106.38ms; iter 4350: train loss 0.65645 | |
| iter_dt 99.38ms; iter 4400: train loss 0.64350 | |
| iter_dt 102.71ms; iter 4450: train loss 0.63877 | |
| iter_dt 100.15ms; iter 4500: train loss 0.66482 | |
| iter_dt 102.56ms; iter 4550: train loss 0.65057 | |
| iter_dt 106.11ms; iter 4600: train loss 0.63983 | |
| iter_dt 103.10ms; iter 4650: train loss 0.63932 | |
| iter_dt 102.17ms; iter 4700: train loss 0.61900 | |
| iter_dt 103.04ms; iter 4750: train loss 0.62492 | |
| iter_dt 101.39ms; iter 4800: train loss 0.63159 | |
| iter_dt 103.05ms; iter 4850: train loss 0.63788 | |
| iter_dt 102.35ms; iter 4900: train loss 0.64143 | |
| iter_dt 102.04ms; iter 4950: train loss 0.62239 | |
| iter_dt 101.26ms; iter 5000: train loss 0.63003 | |
| (instance ?PERSON Proposition) | |
| (exists (?SUBSTANCE) | |
| (and | |
| (instance ?SUBSTANCE Substance) | |
| (instance ?SUBSTANCE Substance) | |
| (instance ?SUBSTANCE Substance) | |
| (substance ?SUBSTANCE Substance) | |
| (subsumesContentInstance ?SUBSTANCE ?SUBSTANCE)) | |
| (subsumesContentInstance ?SUBSTANCE ?SUBSTANCE))) | |
| (subclass Systhesis ArtContentInstance) | |
| (documentation Systhesis EnglishLanguage "A &%Stances that is | |
| &%Substance that is content of an &%Organism that can be an &%Organism.") | |
| (=> | |
| (instance ?SUBSTANCE Systhesis) | |
| (exists (?SUBSTANCE1 ?SUBSTANCE2) | |
| (and | |
| (subsumesContentInstance ?SUBSTANCE1 ?SUBSTANCE1) | |
| (subsumesContentInstance ?SUBSTANCE2 ?SUBSTANCE2) | |
| (instance ?SUBSTANCE1 Substance) | |
| (equal ?SUBSTANCE1 ?SUBSTANCE2)) | |
| (equal ?SUBSTANCE1 ?SUBSTANCE2) | |
| (subsumesContentInstance ?SUBSTANCE1 ?SUBSTANCE2))))) | |
| (subclass CognitiveTimeZone Physical) | |
| (documentation CognitiveTimeZone EnglishLanguage "Any &%TimeZone that is carrticted by | |
| content to the source of &%CognitiveContiveUnitOfMeasure that instances of a | |
| &%PhysicalQuantity &%PhysicalQuantity. Secondingle in the &%CognitiveUnitOfMeasure instance of &%Proposition: Note too | |
| this is an instance of &%PhysicalQuantity returns to this &%CognitiveUnitOfMeasure of this | |
| &%FunctionQuantity that is a &%CognitiveUnitOfMeasure that one &%CognitiveUnitOfMeasure. For example, | |
| instances of &%FunctionQuantity for measure &%CognitiveUnitOfMeasure | |
| assort of &%CognitiveUnitOfMeasure | |
| assort of &%FunctionQuantity. For example, &%FunctionQuantity which one of only a sort of structure | |
| of ana &%FunctionQuantity is a subclass of &%FunctionQuantity.") | |
| (=> | |
| (and | |
| (instance ?UNIT UnitOfMeasure) | |
| (instance ?UNIT UnitOfMeasure)) | |
| (instance ?UNIT UnitOfMeasure)) | |
| (equal | |
| (FunctionQuantity ?NUMBER (MeasureFn 3900000 ?UNIT))) | |
| (equal ?NUMBER (FunitOfMeasureFn ?UNIT) 100000000000000000001 ?UNIT)) | |
| (equal | |
| (FunitOfMeasureFn | |
| iter_dt 102.42ms; iter 5050: train loss 0.62190 | |
| iter_dt 103.05ms; iter 5100: train loss 0.59113 | |
| iter_dt 100.55ms; iter 5150: train loss 0.60690 | |
| iter_dt 101.85ms; iter 5200: train loss 0.61512 | |
| iter_dt 100.50ms; iter 5250: train loss 0.61959 | |
| iter_dt 101.17ms; iter 5300: train loss 0.59505 | |
| iter_dt 102.30ms; iter 5350: train loss 0.60871 | |
| iter_dt 101.54ms; iter 5400: train loss 0.58178 | |
| iter_dt 100.66ms; iter 5450: train loss 0.61084 | |
| iter_dt 103.26ms; iter 5500: train loss 0.59529 | |
| iter_dt 104.80ms; iter 5550: train loss 0.59031 | |
| iter_dt 103.57ms; iter 5600: train loss 0.57475 | |
| iter_dt 100.67ms; iter 5650: train loss 0.59957 | |
| iter_dt 101.73ms; iter 5700: train loss 0.58350 | |
| iter_dt 102.73ms; iter 5750: train loss 0.59711 | |
| iter_dt 103.14ms; iter 5800: train loss 0.58659 | |
| iter_dt 103.98ms; iter 5850: train loss 0.57675 | |
| iter_dt 101.63ms; iter 5900: train loss 0.55610 | |
| iter_dt 103.95ms; iter 5950: train loss 0.58336 | |
| iter_dt 101.36ms; iter 6000: train loss 0.56998 | |
| (=> | |
| (and | |
| (instance ?REL RelationExtendedToQuantities) | |
| (equal (RelationExtendedToQuantities) | |
| (equal (RelationExtendedToQuantities)) | |
| (equal | |
| (RelationExtendedToQuantities) | |
| (RelationExtendedToQuantitities))) | |
| (instance Fahes PartialValuedRelation) | |
| (domain Fahes 1 RealNumber) | |
| (range Fahes Integer) | |
| (documentation Fahes EnglishLanguage "The relation between of items a &%RealNumber that is | |
| intended to simothing of an &%Integer. For example, their is a relationship fahes, | |
| only and the partial partially for the two be trial of the &%SelfConnectedObjects | |
| and equivalents of the &%ConnectedObjects. Note that this the &%ConnectedObject being to a &%Requivalence | |
| the &%Integer are not be a &%Integer integer numbers of the &%Integer &%Integer.") | |
| (=> | |
| (instance ?NUMBER RequivalentConnectedObject) | |
| (exists (?ATTR) | |
| (and | |
| (instance ?ATTR PartialObject) | |
| (attribute ?NUMBER ?ATTR))))))) | |
| (instance parent BinaryPredicate) | |
| (instance parent BinaryPredicate) | |
| (domain parent 1 Predicate) | |
| (domain parent 2 Predicate) | |
| (documentation parent EnglishLanguage "The &%Predicate of greates requivalent the | |
| &%Predicates that the &%Predicate wheret.") | |
| (=> | |
| (parent ?NUMBER ?PREDICATE) | |
| (exists (?ATTR) | |
| (and | |
| (parent ?NUMBER ?ATR) | |
| (parent ?ATTR ?ATTR))))))) | |
| (subclass Predicate Predicate) | |
| (documentation Predicate EnglishLanguage "A &%Predicate which is mall food | |
| the &%Predicate which other. For example, than the predicate of &%Predicate that is the | |
| expresses the the same of the &%Predicate of contractural | |
| of &%Predicate. Note that the &%Predicate relates &%Predicates | |
| &%Predicate that is intended neds of &%Animals.") | |
| (=> | |
| (instance ?PREDICE Predicate) | |
| (exists (?PREDICATE) | |
| (and | |
| (instance ?PREDICE | |
| (patient ?PREDICEATE Predicate) | |
| (patient ?PREDICATE ?PREDICEATE)))))) | |
| (subclass Predicate Predicate) | |
| (documentation Predicate EnglishLanguage "Any &%Pre | |
| iter_dt 105.54ms; iter 6050: train loss 0.57046 | |
| iter_dt 102.42ms; iter 6100: train loss 0.59301 | |
| iter_dt 101.25ms; iter 6150: train loss 0.56398 | |
| iter_dt 106.06ms; iter 6200: train loss 0.59112 | |
| iter_dt 101.21ms; iter 6250: train loss 0.59418 | |
| iter_dt 101.41ms; iter 6300: train loss 0.59648 | |
| iter_dt 104.92ms; iter 6350: train loss 0.57971 | |
| iter_dt 99.36ms; iter 6400: train loss 0.56401 | |
| iter_dt 101.42ms; iter 6450: train loss 0.57855 | |
| iter_dt 102.69ms; iter 6500: train loss 0.55756 | |
| iter_dt 102.54ms; iter 6550: train loss 0.55599 | |
| iter_dt 110.07ms; iter 6600: train loss 0.55434 | |
| iter_dt 100.04ms; iter 6650: train loss 0.56694 | |
| iter_dt 101.81ms; iter 6700: train loss 0.55249 | |
| iter_dt 103.43ms; iter 6750: train loss 0.56794 | |
| iter_dt 104.62ms; iter 6800: train loss 0.55121 | |
| iter_dt 102.20ms; iter 6850: train loss 0.55607 | |
| iter_dt 103.86ms; iter 6900: train loss 0.55445 | |
| iter_dt 101.36ms; iter 6950: train loss 0.55962 | |
| iter_dt 101.87ms; iter 7000: train loss 0.55516 | |
| (and | |
| (instance ?AGENT VerbProcess) | |
| (reflexiveOn ?OBJ1 ?OBJ2) | |
| (=> | |
| (instance ?OBJ1 ?OBJ2) | |
| (reflexiveOn ?OBJ1 ?OBJ1))) | |
| (subclass Proposition Proposition) | |
| (documentation Proposition EnglishLanguage "A &%Proposition is a proposition of a | |
| &%Proposition and at &%Proposition.") | |
| (=> | |
| (instance ?PROPOSITION Proposition) | |
| (forall (?OBJ1 ?OBJ2) | |
| (=> | |
| (and | |
| (properPart ?OBJ1 ?OBJ2) | |
| (eventLocated ?OBJ1 ?OBJ2))) | |
| (subclass ReflexiveOn Proposition) | |
| (documentation ReflexiveOn EnglishLanguage "The &%Class of &%Propositions that has | |
| a reflexiveOn as of &%ReflexiveOn the &%ReflexiveOn is the part of | |
| ?OBJ1 is a &%ReflexiveOn of ?OBJ2.") | |
| (=> | |
| (instance ?OBJ1 ReflexiveOn BinaryRelation) | |
| (forall (?OBJ2) | |
| (=> | |
| (and | |
| (properPart ?OBJ1 ?OBJ2) | |
| (or | |
| (properPart ?OBJ1 ?OBJ2) | |
| (properPart ?OBJ3 ?OBJ1)))) | |
| (subclass Abstraction ReflexiveOn BinaryRelation) | |
| (documentation Abstraction EnglishLanguage "The &%Class of &%ReflexiveOn is a | |
| &%Physical as increation, which is its include cedived from the state. | |
| The &%Class of &%ReflexiveOn and &%constractions that the state of itself. | |
| &%Abstractions are &%constractions, it is included solver | |
| from &%Abstractions. &%Abstractions is not the included here stated by and | |
| the included ames of a &%Class.") | |
| (=> | |
| (constractions ?OBJ1 ?OBJ2) | |
| (exists (?ATTR) | |
| (and | |
| (instance ?ATTR ?CLASS) | |
| (attribute ?OBJ2 ?ATTR))))) | |
| (subclass Sring DualObjectProcess) | |
| (documentation Sring EnglishLanguage "The &%subclass of &%Sring is a subclass of &%Sring which | |
| involve is and which an event.") | |
| (=> | |
| (instance ?SRING Sring) | |
| (exists (?PROC) | |
| (and | |
| (instance ?PROC Sring) | |
| (patient ?SRING ?OBJ)))) | |
| (subclass SrING Process) | |
| (disjoint SrING Sring) | |
| (documentation SrING EnglishLanguage "The &%Class of &%Process which is individual | |
| is bring a &%Sring of propositions by the relatio | |
| iter_dt 102.07ms; iter 7050: train loss 0.55589 | |
| iter_dt 101.73ms; iter 7100: train loss 0.54430 | |
| iter_dt 102.04ms; iter 7150: train loss 0.55520 | |
| iter_dt 100.58ms; iter 7200: train loss 0.56229 | |
| iter_dt 101.88ms; iter 7250: train loss 0.56059 | |
| iter_dt 99.71ms; iter 7300: train loss 0.54905 | |
| iter_dt 103.01ms; iter 7350: train loss 0.55336 | |
| iter_dt 101.68ms; iter 7400: train loss 0.55460 | |
| iter_dt 104.60ms; iter 7450: train loss 0.55755 | |
| iter_dt 103.55ms; iter 7500: train loss 0.54403 | |
| iter_dt 101.80ms; iter 7550: train loss 0.53593 | |
| iter_dt 102.84ms; iter 7600: train loss 0.54374 | |
| iter_dt 101.62ms; iter 7650: train loss 0.52397 | |
| iter_dt 101.25ms; iter 7700: train loss 0.54338 | |
| iter_dt 101.36ms; iter 7750: train loss 0.54265 | |
| iter_dt 104.92ms; iter 7800: train loss 0.53175 | |
| iter_dt 103.39ms; iter 7850: train loss 0.52856 | |
| iter_dt 102.28ms; iter 7900: train loss 0.52061 | |
| iter_dt 103.37ms; iter 7950: train loss 0.52258 | |
| iter_dt 103.37ms; iter 8000: train loss 0.50241 | |
| (orientation ?OBJ1 ?POSITION1 ?OBJ2) | |
| (orientation ?OBJ1 ?OBJ2 Position) | |
| (orientation ?OBJ2 ?POSITION1 ?POSITION2))))) | |
| (instance commonMultiplication BinaryPredicate) | |
| (instance commultiplication TernaryPredicate) | |
| (instance commultiplication BinaryPredicate) | |
| (instance commonMultiplication AsymmetricRelation) | |
| (instance communication TotalValuedRelation) | |
| (domain communication 1 Object) | |
| (domain commmunication 2 Object) | |
| (documentation commmunication EnglishLanguage "(&%communication ?OBJ1 ?OBJ2) means that ?OBJ1 | |
| is a communication' which relations where the communication is a communication of ?OBJ2.") | |
| (instance communication BinaryPredicate) | |
| (instance communication TotalValuedRelation) | |
| (domainSubclass communication 1 Object) | |
| (domain commmunication 2 Object) | |
| (documentation commmunication EnglishLanguage "(&%commmunication ?OBJ1 ?OBJ2) means that the | |
| &%Object overlap of ?OBJ1 and ?OBJ2.") | |
| (=> | |
| (commmunication ?OBJ1 ?OBJ2 ?OBJ2) | |
| (exists (?OBJ3) | |
| (commmunication ?OBJ1 ?OBJ2)))) | |
| (=> | |
| (commment ?OBJ1 ?OBJ3) | |
| (commmunication ?OBJ1 ?OBJ2 ?OBJ3)) | |
| (instance comment BinaryPredicate) | |
| (instance communication AsymmetricRelation) | |
| (instance comment SymmetricRelation) | |
| (instance commment TotalValuedRelation) | |
| (domain compoment 1 Object) | |
| (domain commment 2 Object) | |
| (documentation commment EnglishLanguage "(&%commment ?OBJ1 ?OBJ2) means that ?OBJ1 | |
| is a commment of a &%Object ?OBJ2 and ?OBJ2, i.e. the domain of ?OBJ1 is | |
| a commment of ?OBJ2. Note that &%commment and a commment is not affairs except is a set of | |
| subclasses of &%ManualHumanLanguage and comment are many commment.") | |
| (=> | |
| (commment ?MANUALH ?OBJ1) | |
| (commment ?MANULH ?OBJ2)) | |
| (=> | |
| (commment ?MANULH ?MANUALH) | |
| (commment ?MANULH ?OBJ2)) | |
| (=> | |
| (commment ?MANULH ?MANUALH) | |
| (comment ?MANULH ?MANUH)) | |
| (subclass NutructuralHumanLanguage HumanLanguage) | |
| (documentation NutralComment EnglishLanguage "The &%Class of &%Commments which are not involved definition a | |
| some of a commment of this set of this &%Commmunication is an &%Object.") | |
| (=> | |
| iter_dt 102.95ms; iter 8050: train loss 0.51080 | |
| iter_dt 102.98ms; iter 8100: train loss 0.51990 | |
| iter_dt 106.22ms; iter 8150: train loss 0.51312 | |
| iter_dt 102.18ms; iter 8200: train loss 0.52396 | |
| iter_dt 102.16ms; iter 8250: train loss 0.55705 | |
| iter_dt 100.57ms; iter 8300: train loss 0.53808 | |
| iter_dt 101.35ms; iter 8350: train loss 0.49977 | |
| iter_dt 102.55ms; iter 8400: train loss 0.53920 | |
| iter_dt 101.69ms; iter 8450: train loss 0.51455 | |
| iter_dt 103.25ms; iter 8500: train loss 0.51280 | |
| iter_dt 102.98ms; iter 8550: train loss 0.52600 | |
| iter_dt 103.59ms; iter 8600: train loss 0.50324 | |
| iter_dt 106.03ms; iter 8650: train loss 0.50259 | |
| iter_dt 100.85ms; iter 8700: train loss 0.51858 | |
| iter_dt 105.61ms; iter 8750: train loss 0.52318 | |
| iter_dt 103.97ms; iter 8800: train loss 0.52564 | |
| iter_dt 102.73ms; iter 8850: train loss 0.50833 | |
| iter_dt 102.12ms; iter 8900: train loss 0.52127 | |
| iter_dt 103.58ms; iter 8950: train loss 0.48385 | |
| iter_dt 108.33ms; iter 9000: train loss 0.52568 | |
| (instance disjointRelation PartialValuedRelation) | |
| (domain disjointRelation 1 Process) | |
| (domain disjointRelation 2 Process) | |
| (documentation disjointRelation EnglishLanguage "(&%disjointRelation ?REL1 ?REL2) means that the | |
| &%Process ?REL1 is true at the &%Process ?REL2 is a true of the smalle.") | |
| (=> | |
| (and | |
| (disjointRelation ?REL2 ?NUMBER1) | |
| (disjointRelation ?REL1 ?REL2) | |
| (disjointRelation ?REL1 ?REL2) | |
| (instance meetsPartially BinaryPredicate) | |
| (instance meetsPartially PartialValuedRelation) | |
| (domain meetsPartially 1 Process) | |
| (domain meeetsPartially 2 Process) | |
| (documentation meeetsPartially EnglishLanguage "(?meetsPartially ?PARTIal | |
| (exists (?I3) | |
| (?REL2 @ROW)))) | |
| (subclass QuintaryPredicate TotalValuedRelation) | |
| (documentation QuintaryPredicate EnglishLanguage "The &%Class of &%Predicates that relates the | |
| &%Class of &%Predicates that are not relationship to &%Predicates.") | |
| (=> | |
| (and | |
| (meeetsPartially ?I3 ?I3) | |
| (not (equal ?I1 ?I2)) | |
| (disjoint ?I3 ?P)) | |
| (or | |
| (disjoint ?I3 ?I3) | |
| (disjoint ?I3 ?P) | |
| (disjoint ?I3 ?P1))) | |
| (subclass Predicate Physical) | |
| (documentation Predicate EnglishLanguage "The class of &%Physical that relates a predicate. | |
| For example, the disjoint extensional &%Physical. Note that this | |
| class content expressed by | |
| &%Physical and means that are content expressed by the physical order | |
| of the state of &%Physical expressed by the state of &%Physical predicate with the &%Physical. The following is &%Physical and | |
| &%Physical and &%IntentionalPhysical. This class covers both | |
| content of an &%Animal. Note that &%Physical is a &%Physical and &%repredicate | |
| is intended by a &%Function is expressed by the intended by &%Function. For example, (&%RepidencationFn &%IntentionalPhysicalQuantity) | |
| would be instances of &%Communication. This covers not all is not be used by | |
| the &%Function &%Animals and &%Function.") | |
| (=> | |
| (and | |
| (instance ?PREP IntentionalPhysicalState) | |
| (instance ?ACT Function) | |
| (instance ?DAAP Human) | |
| (instance ?BUILD Damaging) | |
| (holdsDuring | |
| iter_dt 101.09ms; iter 9050: train loss 0.50934 | |
| iter_dt 104.32ms; iter 9100: train loss 0.50776 | |
| iter_dt 101.91ms; iter 9150: train loss 0.48869 | |
| iter_dt 102.82ms; iter 9200: train loss 0.51471 | |
| iter_dt 108.08ms; iter 9250: train loss 0.49644 | |
| iter_dt 101.34ms; iter 9300: train loss 0.50207 | |
| iter_dt 103.18ms; iter 9350: train loss 0.49666 | |
| iter_dt 105.70ms; iter 9400: train loss 0.49896 | |
| iter_dt 103.00ms; iter 9450: train loss 0.51297 | |
| iter_dt 103.39ms; iter 9500: train loss 0.49276 | |
| iter_dt 102.49ms; iter 9550: train loss 0.50587 | |
| iter_dt 102.95ms; iter 9600: train loss 0.50937 | |
| iter_dt 102.06ms; iter 9650: train loss 0.49607 | |
| iter_dt 103.89ms; iter 9700: train loss 0.51617 | |
| iter_dt 101.16ms; iter 9750: train loss 0.46926 | |
| iter_dt 101.95ms; iter 9800: train loss 0.49429 | |
| iter_dt 101.41ms; iter 9850: train loss 0.50169 | |
| iter_dt 106.90ms; iter 9900: train loss 0.48829 | |
| iter_dt 101.49ms; iter 9950: train loss 0.47909 | |
| iter_dt 102.01ms; iter 10000: train loss 0.49548 | |
| ( (instance ?PROCESS Process) | |
| (exists (?TIME) | |
| (and | |
| (instance ?TIME TimePoint) | |
| (temporalPart ?TIME ?TIME) | |
| (holdsDuring (BeginFn (WhenFn ?TIME)) (not (attribute ?SITE ?TIME)) | |
| (holdsDuring (EndFn (WhenFn ?TIME)) (not (attribute ?SITE ?TIME)))) | |
| (holdsDuring (EndFn (WhenFn ?TIME)) (attribute ?SITE ?TIME))))) | |
| (subclass StateOfMind TimePosition) | |
| (documentation StateOfMind EnglishLanguage "An &%TimeInterval where the &%TimePosition | |
| is a subclass of &%TimePosition who other &%TimePosition | |
| some &%TimePosition.") | |
| (instance Minid TimePosition) | |
| (documentation Minid EnglishLanguage "An &%TimeInterval where the &%TimePosition | |
| is a class of &%TimePosition.") | |
| (=> | |
| (instance ?STATE StateOfMind) | |
| (exists (?ORG) | |
| (and | |
| (instance ?ORG Organism) | |
| (result ?STATE ?ORG)))) | |
| (instance CultSetOfMind TimePositionalAttribute) | |
| (documentation CultSetOfMind EnglishLanguage "An &%TimePosition that state of minid or | |
| &%TimePosition that are cults. Note that this covers the cults of &%TimePositions | |
| which be &%TimePositionalAttribute, which is an instance of &%TimePosition, e.g. (&%CultSetOfMind &%SetOfMind &%Which is | |
| currrently content for the &%TimePosition of minid of a timelts with representation. | |
| For example, (&%CultSetOfMind &%Which &%DirectedGraph) would be the &%CultSet of a | |
| &%TimePositionalAttributes of the &%Cults which is alproper with simple &%TimePosition. | |
| This covers include to the same that the last of the forms which the | |
| currency of a particular &%TimePosition.") | |
| (instance PositionalAttribute) | |
| (documentation PositionalAttribute EnglishLanguage "An &%Attribute where the | |
| same position: the &%PositionalAttributes of a &%PositionalAttribute.") | |
| (instance PositionalAttribute PositionalAttribute) | |
| (documentation PositionalAttribute EnglishLanguage "An &%PositionalAttribute have a | |
| position sense.") | |
| (instance PositionalAttribute) | |
| (documentation PositionalAttribute EnglishLanguage "Any &%Attribute whose position of an | |
| &%Attributes exclusively differenc | |
| iter_dt 100.50ms; iter 10050: train loss 0.49812 | |
| iter_dt 100.72ms; iter 10100: train loss 0.49924 | |
| iter_dt 101.58ms; iter 10150: train loss 0.47810 | |
| iter_dt 102.89ms; iter 10200: train loss 0.50117 | |
| iter_dt 103.60ms; iter 10250: train loss 0.48926 | |
| iter_dt 103.77ms; iter 10300: train loss 0.47904 | |
| iter_dt 104.95ms; iter 10350: train loss 0.48294 | |
| iter_dt 105.80ms; iter 10400: train loss 0.47462 | |
| iter_dt 102.80ms; iter 10450: train loss 0.48956 | |
| iter_dt 103.63ms; iter 10500: train loss 0.48807 | |
| iter_dt 100.70ms; iter 10550: train loss 0.47936 | |
| iter_dt 101.64ms; iter 10600: train loss 0.47846 | |
| iter_dt 101.74ms; iter 10650: train loss 0.46697 | |
| iter_dt 104.95ms; iter 10700: train loss 0.49534 | |
| iter_dt 105.48ms; iter 10750: train loss 0.46928 | |
| iter_dt 102.59ms; iter 10800: train loss 0.47955 | |
| iter_dt 104.01ms; iter 10850: train loss 0.48436 | |
| iter_dt 108.97ms; iter 10900: train loss 0.47831 | |
| iter_dt 103.54ms; iter 10950: train loss 0.47682 | |
| iter_dt 100.70ms; iter 11000: train loss 0.48901 | |
| (subclass PimaryColor) | |
| (subclass PimaryColor Color) | |
| (documentation PimaryColor EnglishLanguage "A &%Color colors where a &%Color is a | |
| &%Color, i.e. every a color.") | |
| (=> | |
| (instance ?COLOR PimaryColor) | |
| (exists (?ATTR) | |
| (and | |
| (instance ?ATTR Attribute) | |
| (attribute ?ATTR Localor))) | |
| (subclass BodyColor RelationalAttribute) | |
| (documentation BodyColor EnglishLanguage "An &%Attribute that is an &%Attribute that involves | |
| olved from a &%Plocalor.") | |
| (=> | |
| (instance ?COLOR BodyColor) | |
| (exists (?ATTR) | |
| (and | |
| (instance ?ATTR Color) | |
| (color (instance ?ATTR ?ATTR))))) | |
| (subclass Procedure Color) | |
| (documentation Procedure EnglishLanguage "The &%Class | |
| of &%VioledRegions relations which has a particular Process that one | |
| &%Objects characterized to a particular &%Procedures.") | |
| (=> | |
| (instance ?PROCEDURE Procedure) | |
| (exists (?PROCEDURE ?ATTR) | |
| (and | |
| (instance ?PROCEDURE Process) | |
| (subProcess ?PROCEDURE ?PROCEDURE)))) | |
| (subclass Procedure Procedure) | |
| (documentation Procedure EnglishLanguage "The &%Class of &%Procedures where | |
| something is intended to be difference between an &%Object and the &%Process | |
| between an &%Object on the &%Attribute of &%Process.") | |
| (=> | |
| (and | |
| (instance ?PROCEDURE Procedure) | |
| (part ?PROCEDURE ?PROCEDURE)) | |
| (instance ?PROCEDURE Procedure)) | |
| (subclass Procedure Procedure) | |
| (documentation Procedure EnglishLanguage "Any &%Process that is coress both the | |
| relationship between the &%Object and &%Process within the &%Object is difference by means | |
| of the &%Objects.") | |
| (subclass CorductiveArea Procedure) | |
| (documentation CorductiveArea EnglishLanguage "Any &%Process that is coresponductive for a | |
| &%CorductiveArea and a &%CorductiveArea.") | |
| (=> | |
| (instance ?CORDUCTION CorductiveArea) | |
| (exists (?AREA) | |
| (and | |
| (instance ?AREA CorductiveArea) | |
| (part ?CORDUCTION ?AREA))) | |
| (subclass StateChange Process) | |
| (documentation StateChange EnglishLanguage "Any &%Process that is composed of some &%Process.") | |
| (=> | |
| (and | |
| (instance ?S | |
| iter_dt 101.69ms; iter 11050: train loss 0.48180 | |
| iter_dt 103.18ms; iter 11100: train loss 0.47613 | |
| iter_dt 101.47ms; iter 11150: train loss 0.49171 | |
| iter_dt 102.34ms; iter 11200: train loss 0.47495 | |
| iter_dt 103.69ms; iter 11250: train loss 0.46811 | |
| iter_dt 104.06ms; iter 11300: train loss 0.46921 | |
| iter_dt 101.68ms; iter 11350: train loss 0.45728 | |
| iter_dt 101.80ms; iter 11400: train loss 0.47791 | |
| iter_dt 104.49ms; iter 11450: train loss 0.46015 | |
| iter_dt 103.55ms; iter 11500: train loss 0.45879 | |
| iter_dt 100.63ms; iter 11550: train loss 0.48103 | |
| iter_dt 102.42ms; iter 11600: train loss 0.46224 | |
| iter_dt 101.19ms; iter 11650: train loss 0.46226 | |
| iter_dt 107.71ms; iter 11700: train loss 0.45522 | |
| iter_dt 103.33ms; iter 11750: train loss 0.47378 | |
| iter_dt 105.12ms; iter 11800: train loss 0.46227 | |
| iter_dt 102.08ms; iter 11850: train loss 0.46253 | |
| iter_dt 101.63ms; iter 11900: train loss 0.45927 | |
| iter_dt 103.73ms; iter 11950: train loss 0.44734 | |
| iter_dt 103.94ms; iter 12000: train loss 0.44520 | |
| (domain AdditionFn 1 TimeInterval) | |
| (range AdditionFn TimeInterval) | |
| (documentation AditionFn EnglishLanguage "A &%UnaryFunction that maps a | |
| &%TimeInterval to the &%TimeInterval that denote before the &%TimeInterval that | |
| some &%TimeIntervals and relates the &%TimeInterval that is equivalent.") | |
| ; KJN: Moving time | |
| ;;(=> | |
| ;; (instance ?INTERVAL TimeInterval) | |
| ;;(=> | |
| ;; (instance ?INTERVAL TimeInterval) | |
| ;; (equal ?INTERVAL (TimeIntervalFn ?INTERVAL)) | |
| ;; (forall (?INTERVAL) | |
| ;; (<=> | |
| ;; (instance ?INTERVAL) | |
| ;; (instance ?INTERVAL TimeInterval)) | |
| ;; (exists (?INTERVAL) | |
| ;; (and | |
| ;; (instance ?INTERVAL TimeInterval) | |
| ;; (instance ?INTERVAL TimeInterval))) | |
| (instance IntervalFn TemporalRelation) | |
| (domain IntervalFn 1 TimeInterval) | |
| (range IntervalFn TimeInterval) | |
| (documentation IntervalFn EnglishLanguage "A &%UnaryFunction that maps a &%TimeInterval to the | |
| ;; interval following proposition: (.001 TimeInterval) denoted returns the numbers linerval time in the | |
| ;; property numbers of the Intervals with then Direction | |
| ;; First and are numbers time in | |
| ;; | |
| ;;; !!!!!! | |
| (=> | |
| (equal | |
| (EquivalenceIntervalFn ?INTERVAL) ?INTERVAL) | |
| (instance ?INTERVAL TimeInterval) | |
| (forall (?INTERVAL) | |
| (<=> | |
| (instance ?INTERVAL) | |
| (and | |
| (instance ?INTERVAL TimeInterval) | |
| (equal ?INTERVAL (TimeIntervalFn ?INTERVAL)))) | |
| (instance EquivalenceRelationFn BinaryFunction) | |
| (instance EquivalenceRelationFn TotalValuedRelation) | |
| (domain EquivalenceRelationFn 1 TimeInterval) | |
| (range EquivalenceRelationFn TimeInterval) | |
| (documentation EquivalenceRelationFn EnglishLanguage "(&%EquivalenceRelationFn ?INTERVAL) means that | |
| the &%TimeInterval ?INTERVAL is equivalence that the &%TimeInterval ?INTERVAL are the &%TimeInterval | |
| ?INTERVAL." | |
| iter_dt 101.42ms; iter 12050: train loss 0.44864 | |
| iter_dt 103.56ms; iter 12100: train loss 0.47208 | |
| iter_dt 102.44ms; iter 12150: train loss 0.46315 | |
| iter_dt 103.34ms; iter 12200: train loss 0.45370 | |
| iter_dt 101.57ms; iter 12250: train loss 0.44613 | |
| iter_dt 101.27ms; iter 12300: train loss 0.44408 | |
| iter_dt 101.78ms; iter 12350: train loss 0.47529 | |
| iter_dt 101.40ms; iter 12400: train loss 0.44326 | |
| iter_dt 101.66ms; iter 12450: train loss 0.43909 | |
| iter_dt 100.37ms; iter 12500: train loss 0.46362 | |
| iter_dt 102.46ms; iter 12550: train loss 0.45806 | |
| iter_dt 103.07ms; iter 12600: train loss 0.45695 | |
| iter_dt 103.33ms; iter 12650: train loss 0.44523 | |
| iter_dt 102.06ms; iter 12700: train loss 0.46687 | |
| iter_dt 101.82ms; iter 12750: train loss 0.44972 | |
| iter_dt 104.53ms; iter 12800: train loss 0.45985 | |
| iter_dt 103.67ms; iter 12850: train loss 0.45559 | |
| iter_dt 101.67ms; iter 12900: train loss 0.45590 | |
| iter_dt 102.29ms; iter 12950: train loss 0.46787 | |
| iter_dt 102.20ms; iter 13000: train loss 0.45430 | |
| (domain CelsiusDegree 2 Dead) | |
| (relatedInternalConcept CelsiusDegree CelsiusDegree) | |
| (documentation CelsiusDegree EnglishLanguage "The class of celsius degree of celsius.") | |
| (subrelation CelsiusDegree CelsiusDegree) | |
| (documentation CelsiusDegree EnglishLanguage "The class of &%CelsiusDegrees where a &%Dead.") | |
| (=> | |
| (instance ?CEL CelsiusDegree) | |
| (exists (?PARENT) | |
| (and | |
| (equal ?PARENT ?PARENT) | |
| (instance ?PARENT ParentContentBearingPhysical)))) | |
| (subclass Greate PerceptualAttribute) | |
| (documentation Greate EnglishLanguage "The &%Class of &%CelsiusDegree where the | |
| &%agent greates to the &%parent of an &%Object. Note that this is the &%Class of all &%CelsiusDegrees.") | |
| (=> | |
| (and | |
| (instance ?PARENT Greate) | |
| (parent ?PARENT ?OBJ)) | |
| (exists (?PARENT) | |
| (and | |
| (parent ?PARENT ?OBJ) | |
| (parent ?PARENT ?OBJ))) | |
| (=> | |
| (and | |
| (equal (ImmediateParent ?PARENT) ?PARENT) | |
| (instance ?OBJ Object)) | |
| (exists (?PROCESS) | |
| (and | |
| (and | |
| (instance ?PROCESS Parent) | |
| (parent ?PROCESS ?OBJ)))) | |
| (subclass ContentBearingPhysical) | |
| (documentation ContentBearingPhysical EnglishLanguage "&%ContentBearingPhysical is that are | |
| relation instances of &%Objects which relation a &%Process, e.g. a prent | |
| in a both of the &%Object.") | |
| (subclass DiseaseOrSyndrome Process) | |
| (documentation DiseaseOrSyndrome EnglishLanguage "Any &%Process that is a &%Process which is a &%Process is | |
| something is a source of &%Process that can be used in the &%Process. Note that this &%Class | |
| is distinct from &%September such as a subclass of &%Processes that is a | |
| &%ContentBearingPhysical that relates only to the &%Objects with contains a &%Liquid to contain | |
| instances of &%Process.") | |
| (=> | |
| (instance ?DISEASE DiseaseOrSyndrome) | |
| (exists (?PROCESS) | |
| (and | |
| (instance ?PROCESS ContentBearingPhysical) | |
| (patient ?PROCESS ?OBJ))) | |
| (subclass DiseaseOrSyndrome Process) | |
| (documentation DiseaseOrSyndrome EnglishLanguage "A &%Process where a &%September is | |
| the &%Class of &%Giving and that is a pro | |
| iter_dt 102.08ms; iter 13050: train loss 0.44698 | |
| --------------------------------------------------------------------------- | |
| KeyboardInterrupt Traceback (most recent call last) | |
| <ipython-input-93-a6b87d1b6ae4> in <module> | |
| 111 | |
| 112 # run the optimization | |
| --> 113 trainer.run() | |
| 2 frames | |
| /usr/local/lib/python3.8/dist-packages/torch/autograd/__init__.py in backward(tensors, grad_tensors, retain_graph, create_graph, grad_variables, inputs) | |
| 195 # some Python versions print out the first line of a multi-line function | |
| 196 # calls in the traceback and some print out the last line | |
| --> 197 Variable._execution_engine.run_backward( # Calls into the C++ engine to run the backward pass | |
| 198 tensors, grad_tensors_, retain_graph, create_graph, inputs, | |
| 199 allow_unreachable=True, accumulate_grad=True) # Calls into the C++ engine to run the backward pass | |
| KeyboardInterrupt: | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment