Skip to content

Instantly share code, notes, and snippets.

@automenta

automenta/x.not.lisp

Created December 28, 2022 14:17
Show Gist options
  • Save automenta/4ba8efca6059072871874f69d756523b to your computer and use it in GitHub Desktop.
Save automenta/4ba8efca6059072871874f69d756523b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
x.not.lisp
saveModel: False
system:
seed: 0
data:
block_size: 1024
model:
model_type: gopher-44m
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 1605689 characters, 157 unique.
number of parameters: 25824768
running on device cuda
/usr/local/lib/python3.8/dist-packages/torch/autograd/__init__.py:197: UserWarning: operator() profile_node %506 : int[] = prim::profile_ivalue(%504)
does not have profile information (Triggered internally at ../torch/csrc/jit/codegen/cuda/graph_fuser.cpp:105.)
Variable._execution_engine.run_backward( # Calls into the C++ engine to run the backward pass
iter_dt 944.75ms; iter 50: train loss 3.52655
iter_dt 967.60ms; iter 100: train loss 3.01657
iter_dt 959.32ms; iter 150: train loss 2.69485
iter_dt 961.85ms; iter 200: train loss 2.55972
iter_dt 961.63ms; iter 250: train loss 2.49204
iter_dt 964.16ms; iter 300: train loss 2.42576
iter_dt 961.45ms; iter 350: train loss 2.39119
iter_dt 965.14ms; iter 400: train loss 2.36497
iter_dt 963.61ms; iter 450: train loss 2.30706
iter_dt 961.34ms; iter 500: train loss 2.27898
iter_dt 962.43ms; iter 550: train loss 2.23064
iter_dt 962.08ms; iter 600: train loss 2.18623
iter_dt 962.69ms; iter 650: train loss 2.10258
iter_dt 965.55ms; iter 700: train loss 2.04056
iter_dt 961.51ms; iter 750: train loss 1.95054
iter_dt 962.88ms; iter 800: train loss 1.89306
iter_dt 961.48ms; iter 850: train loss 1.86053
iter_dt 960.42ms; iter 900: train loss 1.80030
iter_dt 961.82ms; iter 950: train loss 1.75902
iter_dt 963.82ms; iter 1000: train loss 1.72594
(dFng (Mubjur Engle ?ORIT ?TOROME))
(=>
(atributibution ?O Lhy)
(confemesDurophLath)
(exists (?BEELAGRSecthestreromodict ?LAGERSpledergrephing)
(met ?A ?S)
(and
(instance ?SANTIM Asutabionctatibute ?T LAGanin))
(instance ?LIRE Son)
(exists (?BEAPEREGRTAN ?PRE)
(and
(holdsDuthe ?P ?BRE ?OLEMO)
(instance ?PEAT Molvarimom)
(reet ?D ?R))))
(instance dusttary Chessumbs Sumace Cantres Clicaralat Bince)
(documentation dstubcuactComupoctubolicre EnglishLanguage "Arerels calacenin &%calurctimation, isibje &%St)
&%staubrys thavecy omsulvetse frn cosaby.")
(instance AindAmaprtttttedibutte
(domain sstte mivente AtridRatrurion)
(instance serowed smmbelactibute)
(documentation ilint EnglishLanguage "A owil &%atis t tongr
&%cesures irt sus se isthar is cat tngat &%Pabae tiles s sur ant iba cur.")
(domain tedstrm t 2 ElishLanguage a ")
(tForman)
(subclass PomerctilSyPales AcinaimAntemalSte)
(documentation Contelery Cons EntoornteshLanguage "Equage bectivel")
(=>
(and
(instance ?C Cogepentrntonerin)
(dinse ?MO ?H)isthance ?A Cholevilin)
(exists (?C2 ?HA2 ?HA))
(and
(nor
(pat ?O ?SU2)
(and
(d
(instance ?C AncrperyCocarice)
(croty ?H2 ?H1)
(instance ?C2 ?O2 22 Paroction))
(oubure
(pagrt ?A ?OR1 ?P2)
(subclas ?O2 Moveag)
(bet
(holsDurde ?POT ?Y)
(insttance ?Fnceng ?H1 Dolaticiond)
(plive ?P ?H)
(condilPare ?H ?P ?H)
(instance ?Cocention)
(instance ?C Cofung))
(copaperte ?PRT ?C ?E ?T))
(pantt ?H ?C ?O)
(parie ?E2 ?HE)
(anttttt (edReragiceFn ?GA RE1 ?HE2 ?RO)))))))
(subclas BoctediosPrilSePimbcRePoneFortilatilatives)
(documentation MalumbsstedRedAtterintedRedion EnglishLanguage "Itractinatio tenimeny
&%LeabublialedReRelalacNe angan portatins &%AmbjecalalatialalAticibutibuteterication tturepate s ponat ocag.")
;; andest.
; (=>
(and
(mel ?Precerisicle)
(exists (?P ?P)
(ag
(and
(instance ?T Teredlilase)
(portietionFn)
(instance ?T Orgerentictr))
(documentation cttacenOomalentry)
(documentation Paninglust)
(documentation Sctalesuion Acententrer EnglishLanguage "Thes &%Splogumititiseeatibun as.g a Nangn tod, ia mos andans pofeedrn sunte f bs. Nee whs oube f sue anthap blofind
psts. arcis eg ocede &%Proceresing tamallicaty chalaled on indrof
bofins, tes. oma an aldis, ans.")
(subclassss PopatryArtianibutionalAtsLanage)
(subclasis TaginagCorengentincanalTrnionion StateReleeton)
(documentats Coligng EnglishLange "There &%Fongintis t.g. atomer Soris f &%Beelodiong as an t aleshane thevemon tig ay the achegheng aringalud ope &%Re trmbof pluration es prere avedies
rtheve.")
(=>
(and
(and
(instance ?R Ausnstabsome)
(=>
(exists (?FEEER)
(and
(equtr
(exists (?OTIR)
(and
(instance ?E Cowageriong)
(membeal ?S ?AC ?C))))
(equlie (Woin ?ESOCTR ?A)))
(attrie ?SIOMAC Areerass)
(and
(pard ?A ?S ?Solling ?A ?MArgilang))
(instance ?A Solervence))
(panss ?O)
(pad
(plily ?F ?A)
(coprtompodices ?B ?C ?O))
(part
(indent (cedintent ?S ?RA C ?WA ?S)
(evesPooppogityFare ?AgrsisizativedIt ?LEA ?HARA (mbegrg)))
(loldssDuring
(WhololdsPang ?H TE)
(arinstribung ?Huting ?Papertanine)
(holdsDug
(parensigengegesent ?P ?A)
(holdssAt ?H))
(botsPrie (erore ?Prcapon)
(hott
(exis (?PO)))
(and
(bje ?P ?T ?HH))))
(rexists ?C (?P ?Doriststrion ?HOflooricame))
(oplie ?O ?OV Clid)
(colonted ?Hetse ?Lacop))))
(holds (eldsPurtsspery ?G ?OM))
(pellerent ?P))
(holdsDurit ?C ?A)
(exists (?H (?D)
(and
(hol
(pateserioc ?M ?ENourg)))
(and
(old
(loorTedssDurion ?HA ?H))))
(condintiolon ?POROWAR ?A))
(subPocesss ?CHuing))
(clas Pessemert Dumar Mongrg ?A ?PE))
(poprt ?A ?H
(sencolterces ?E (ist DExisD)
(exists ?DEA ?C ?Hole)
(and
(instance ?FnimenF ?LExclis)
iter_dt 961.61ms; iter 1050: train loss 1.66376
iter_dt 962.86ms; iter 1100: train loss 1.60878
iter_dt 967.64ms; iter 1150: train loss 1.57921
iter_dt 960.93ms; iter 1200: train loss 1.51435
iter_dt 961.84ms; iter 1250: train loss 1.47674
iter_dt 959.05ms; iter 1300: train loss 1.40879
iter_dt 961.31ms; iter 1350: train loss 1.37379
iter_dt 961.56ms; iter 1400: train loss 1.31094
iter_dt 962.64ms; iter 1450: train loss 1.23399
iter_dt 960.59ms; iter 1500: train loss 1.19504
iter_dt 961.29ms; iter 1550: train loss 1.14786
iter_dt 961.73ms; iter 1600: train loss 1.07635
iter_dt 959.30ms; iter 1650: train loss 0.99638
iter_dt 960.36ms; iter 1700: train loss 1.02663
iter_dt 962.20ms; iter 1750: train loss 0.95877
iter_dt 960.97ms; iter 1800: train loss 0.95180
iter_dt 958.67ms; iter 1850: train loss 0.90983
iter_dt 961.83ms; iter 1900: train loss 0.86525
iter_dt 959.99ms; iter 1950: train loss 0.86374
iter_dt 978.14ms; iter 2000: train loss 0.84759
(tance ?HOREMCT DecomphiningDecomphiningDecomphiningDecomphiningDecomphiningDecomphiningDecomphiningDecomphiningDecomphiningDecomphiningDecomphiningDecomphiningDecominecomphininaDecomphingDecomphiningDecomminingDecomphiningDecominecomphiningDecomine for is
signDevicomineDecompositionDecomphingDecomphingDecomphingDecomphingDecomphingDecomphiningDecomphiningDecomphiningDecomphingDeconine an
&%HoorMetiphingDecomphingDecomphingDecomphineconingDecomphiningDecomphonineconinDecomphiningDecomineconinecinedDecomphinine to of to
to a physingDecomphined a printal some motign clos.")
(subclass GeomphingDecomphingDecomphing FormPhingDecomphingDecomphineconiningDecomphingDecomphiningDecomphine
(decomphingDecomphingDecomphingDecomphinde EnglishLanguage "GeomphingDecomphing closised is rusing struct
a some of drom most inve dromging decomphing to of tcknecomphing in timut and of the
struck domePhysing secriention in talto comphying physing the and a some be rom someth oching
for comphinedingDecomphingDecomphing for secomphitingSes, bethe and of the fat ank timut imsth tas o fruce ininicerioned tof comphingh thedecos and
host simedenconed than room ckine in &%ComphingDecomphinDecomphineconsinesDecomphineconde the &%CurtomphineDecomphineDecomphinesDecomphines
than and &%ComphymisilineDecomphine that pat be of where to tcomphine as dof denotecoved the romom, hore hrk.")
(termFormat EnglishLanguage PomphymineDecomphineDecomphinecomphineDecomphinecomphineDecomphinecomphineDecomphinedecomphineDecomphinede)
(domain PomphymineDecomphineDecomphinecomphineDecomphinecomphsineDecomphinecomphineDecomphinecomphineDecomphinedecomphine
EnglishLanguage PomphysineDecomphinecomphineDecomphinecomphineDecomphine "pomphymineDecomphineDecomphineDecomphineDecomphinesesioneDecomphinecomphineDecomphine
There of the somphineDecomphineDecomphye found tholfe decomphineds.")
(termFormat EnglishLanguage PomphymineDecomphineDecomphinecomphineDecomphinecomphineDecomphinecomphineDecomphineDecomphinecompheDecomphineDecomphineDecomphiominece "PomphymineDecomphineDecomphomineDecomphineomphing")
(termFormat EnglishLanguage PomphymineDecomphineDecomphinecomphineDecomphinecomphineDecomphinecomphineDecomphinecomphineSecomphinedeDecomphinecomphineDecomphine by and
ding pomphysineDecomphine DecomphysinecomeDecomphineDecomphineDecomphione domesphineDecomphinedeDecomphine
DecomphinedeDecomphineDecomphite EnglishLanguage "Any &%DecomphineDecomphineDecomphineDecomphine
the appphymichinedeDecomphine from a somephinedesed to of the one
distriphomeded to or pof a the scomphinere decomphicaph of an secomphine a pror &%Decomie of br thenecomphine.")
(termFormat EnglishLanguage PomphymineDecomphineDecomphinede "pomphymineDecomphine")
(termFormat
EnglishLanguage PoneDecompherDecomphineDecomphineDecomphineDecomphineDecomphineDecomphineDecomphineDecomphineDecomphineDecomphineDecomphineDecomphineDecomphineDecomphine inditstribution the such
resphinededEcomphineDecomphineDeceoomphinede by idecomphineded the strecomphineded becomphinedine in for
decomphined amphys reaind comphined in and apport of than are subltiph inkest pal over br lirensing off sof tof the
lorigided liffeded.")
(termFormat EnglishLanguage PomphyminedeDecomphineDecomphine "tecomphinedeDecomphineDecomphineded ")
(documentation PomphyminedeDecomphineDecomphineDecomphineDecomphinedede EnglishLanguage "Any &%PomphyminedineDecomphinedededDecomphinedededDecomphineDecomphineded where beomphined
resing ophyminedediated by the pome in howst a decomphineded of
oor the cumphines frs to thelevine lar themid strecomphinededed to.")
(termFormat EnglishLanguage PomphyminedeDecomphinedeDecomphinedeDecomphinededeDecomphinedeDecomphinedeDecomphinededGecomphineDecomphinededededDecomphinedededDecomphinededed
DecomphinedeDecomphinededSecomphinededed byito be by a of the resesphal pens at &%PomphymininDecomphinededediated.")
(termFormat EnglishLanguage PomphyminededDecomphinedeDecomphinedededededDecomphinedediedededDecomphinedededDecomphinededededDecomphinediedededDecomphinededDedecomphinedededededDededededDecomphineded)
(instanc
iter_dt 961.96ms; iter 2050: train loss 0.82344
iter_dt 960.53ms; iter 2100: train loss 0.82556
iter_dt 963.05ms; iter 2150: train loss 0.81598
iter_dt 961.69ms; iter 2200: train loss 0.79031
iter_dt 960.60ms; iter 2250: train loss 0.76573
iter_dt 962.62ms; iter 2300: train loss 0.74367
iter_dt 960.26ms; iter 2350: train loss 0.77079
iter_dt 963.74ms; iter 2400: train loss 0.74598
iter_dt 963.04ms; iter 2450: train loss 0.72795
iter_dt 962.39ms; iter 2500: train loss 0.72143
iter_dt 960.87ms; iter 2550: train loss 0.73212
iter_dt 961.25ms; iter 2600: train loss 0.71354
iter_dt 958.57ms; iter 2650: train loss 0.69813
iter_dt 962.16ms; iter 2700: train loss 0.70394
iter_dt 960.37ms; iter 2750: train loss 0.69018
iter_dt 960.49ms; iter 2800: train loss 0.67950
iter_dt 959.87ms; iter 2850: train loss 0.67986
iter_dt 961.38ms; iter 2900: train loss 0.67496
iter_dt 962.63ms; iter 2950: train loss 0.64394
iter_dt 960.75ms; iter 3000: train loss 0.65588
(instance ?S Solve)
(confers ?P ?S)
(instance ?S)
(hordsDuring ?T
(exists (?OP)
(and
(instance ?OP Opp)
(member ?P ?S)
(instance ?I Compot)
(instance ?OP Compot)
(instance ?I InheritableAttribute)
(part ?P ?S)))
(subclass Noounth Mating)
(documentation Nounth EnglishLanguage "Any &%Mating that is a &%Attribute with the the &%Attribute
defined to besselve the same between the &%InheritableAttribute that the &%Attribute in
with the &%Attribute of an &%Oper.")
(termFormat EnglishLanguage Nounth "nounth")
(=>
(instance ?NOUNTH Nounth)
(exists (?ATTRIBUTE)
(and
(instance ?ATTRIBUTE Attribute)
(part ?ORGIBUTE ?ATTRIBUTE))))
(subclass UnitOrders Mating)
(documentation UnitOrders EnglishLanguage "A &%Blooders that instrument is a posses to lunth
an &%Indeot.")
(=>
(instance ?UNIT UnitOrders)
(exists (?NITATTR)
(and
(instance ?UNITATTR UnitOrders)
(part ?UNITATR ?NITATR)
(part ?INDATTR ?INDATTR))))
(subclass Angenerment)
(documentation Angenerment EnglishLanguage "Any &%Mating that involve the connectended to connnectent,
the &%muls, is oposible existended.")
(=>
(and
(instance ?ANGENERMENT Angenerment)
(part ?INDATER ?INDATER)
(instance ?INDATER Indeot))
(instance Damovet BinaryPredicate)
(instance Damovet AsymmetricRelation)
(instance Damovet BinaryPredicate)
(instance Damovet BinaryPredicate)
(domain Damovet 1 Angent)
(domain Damovet 2 Damovet)
(documentation Damovet EnglishLanguage "A &%BinaryPredicate that
instrument is live in the figult for example, (&%Angent)) in the damovet to
&%stomething is relate of the &%Human that is legal &%Angents.")
(subrelation related)
(instance related BinaryPredicate)
(instance related BinaryPredicate)
(instance related BinaryPredicate)
(instance related AsymmetricRelation)
(domain related 1 Predicate)
(domain related 2 ConnectentedEgrenement)
(documentation related EnglishLanguage "A &%BinaryPredicate related to a &%BinaryPredicate.")
(instance connectedEfenment BinaryPredicate)
(instance connectedEfenment AsymmetricRelation)
(instance connectedEfenment BinaryPredicate)
(instance connnectedEfenment BinaryPredicate)
(domain connectedEfenment 1 BinaryPredicate)
(domain connectedEfenment 2 Proposition)
(documentation connectedEfenment EnglishLanguage "A
&%Predicate that is not a firs connectris excepted to there spatial
of an offection.")
(instance relatedEfenment BinaryPredicate)
(instance relatedEfenment TernaryPredicate)
(instance relatedEfenment PartialAryPredicate)
(instance relatedEfenment AsymmetricRelation)
(instance relatedEfenction PartialValuedRelation)
(instance relatedEfenment PartialValuedRelation)
(instance relatedEfenction TernaryPredicate)
(instance relatedEfenment AsymmetricRelation)
(instance relatedEfenction Irreflenment)
(instance relatedEfenction TernaryPredicate)
(domain relatedEfenction 1 Predicate)
(documentation relatedEfenction EnglishLanguage "Asymething is a &%Predicates that exact for something of
smothing, septanes effeening the &%relatedEfenction.")
(instance relatedEfenction BinaryPredicate)
(instance relatedEfenction TernaryPredicate)
(instance relatedEfenction TernaryPredicate)
(instance relatedEfenction TernaryPredicate)
(domain relatedEfenction 1 Predicate)
(domain relatedEfenction 2 Object)
(domain relatedEfenction 3 Object)
(range relatedEfenction relatedEfenction)
(instance relatedEffenction BinaryPredicate)
(instance relatedEffenction RelatedOfStatesure)
(instance relatedEfenction BinaryPredicate)
(instance relatedEffenction PartialValuedRelation)
(instance relatedEfenction BinaryPredicate)
(domain relatedEffenction 1 Object)
(domain relatedEfffenction 2 Object)
(documentation relatedEfenction EnglishLanguage "An &%Object that are subrelate as
of interered in related effeenction to the related as bonnne of
effection of an &%Object, on which as maples, related in the
related eve when argument, each subrelated is en not instances of only
in the class of &%Predicate.")
(instance relatedEf
iter_dt 960.55ms; iter 3050: train loss 0.66285
iter_dt 960.04ms; iter 3100: train loss 0.65620
iter_dt 959.99ms; iter 3150: train loss 0.64901
iter_dt 961.82ms; iter 3200: train loss 0.63206
iter_dt 962.63ms; iter 3250: train loss 0.65461
iter_dt 960.75ms; iter 3300: train loss 0.60460
iter_dt 959.69ms; iter 3350: train loss 0.61410
iter_dt 960.91ms; iter 3400: train loss 0.61515
iter_dt 960.83ms; iter 3450: train loss 0.60094
iter_dt 958.41ms; iter 3500: train loss 0.62163
iter_dt 960.02ms; iter 3550: train loss 0.61221
iter_dt 959.10ms; iter 3600: train loss 0.59182
iter_dt 966.89ms; iter 3650: train loss 0.62444
iter_dt 960.18ms; iter 3700: train loss 0.59545
iter_dt 961.47ms; iter 3750: train loss 0.58616
iter_dt 961.80ms; iter 3800: train loss 0.57902
iter_dt 961.19ms; iter 3850: train loss 0.61563
iter_dt 963.46ms; iter 3900: train loss 0.59487
iter_dt 959.53ms; iter 3950: train loss 0.56114
iter_dt 960.25ms; iter 4000: train loss 0.57570
(hasPurpose ?GRAP ?STATE)
(exists (?MEMBER)
(and
(instance ?MEMBER Member)
(instance ?MEMBER Member)
(patient ?MEMBER ?STATE)
(or
(and
(instance ?GRAP Member)
(patient ?GRAP ?STATE)
(agent ?GRAP ?STATE)
(patient ?STATE ?GRAP)
(grapsTemporally (WhenFn ?GRAP) (WhenFn ?GRAP) ?STATE)))
(=>
(and
(instance ?GRAP GraphAaphabing)
(instance ?C ConsuingProcess)
(subProcess ?C ?GRAPH)
(agent ?C ?GRAPH)
(agent ?C ?GRAPH)
(patient ?C ?TAGENT)
(instance ?TAGENT Graphing)
(instance ?TAGENT Object))
(or
(exists (?PROC)
(and
(instance ?PROC Object)
(patient ?PROC ?H)
(grapsProcess ?AGENT ?HAAP)
(agent ?PROC ?GRAPH)
(patient ?PROC ?HAP)
(patient ?PROC ?HAP)))
(subclass Sug Process)
(documentation Sug EnglishLanguage "A property &%Processes where is to property of a subProposition
in &%Conscuing by the &%Processes where il be things are latter ends as least on the
&%conscuing things by &%Processes (or systeem).")
(=>
(and
(instance ?SUS Sug)
(conscuing ?SU ?CUS)
(later ?SU ?AGENT)
(instance ?CUS Conscuing))
(patient ?CUS ?OBJ)))
(exists (?AGENT)
(and
(instance ?AGENT Conscuing)
(member ?AGENT ?CUS)
(member ?AGENT ?AGENT)
(grapsTemporalConnsciousnessAgent ?CUS ?AGENT)
(grapsTemporalConnsciousnesAgent ?CUS ?AGENT)
(subProcess ?CUS ?CUSFING)
(member ?AGENT ?CUSFING)
(member ?AGENT ?AGENT))))))
(subclass Brenting Brenting)
(documentation Brenting EnglishLanguage "A piece of brequire-longs where the &%agent
accerativity &%agent which is an an &%Object or participated, an &%Object.")
(=>
(and
(instance ?BRENTING Brenting)
(not
(instance ?BRENTING Brenting)
(patient ?BRENTING ?AGENT)
(instance ?AGENT Object))
(not (desination ?BRENTING ?AGENT))
(grapsPart ?HRENTING ?OBJ)
(grapsTemporalConntsion ?BRENTING ?PROP)
(agent ?BRENTING ?OBJ)
(agent ?BRENTING ?AGENT))
(exists (?AGENT)
(and
(subProcess ?AGENT ?OBJ)
(member ?AGENT ?OBJ)
(member
(exists (?AGENT ?OBJ)
(and
(agent ?BRENT ?OBJ)
(agent ?AGENT ?AGENT)
(possess ?AGENT ?OBJ)
(destination ?AGENT ?OBJ)))))))))
(subclass Psychologing Brenting)
(documentation Psychologing EnglishLanguage "The &%Human of &%Brenting.")
(=>
(instance ?P Psychologing)
(exists (?P ?B)
(and
(instance ?P PsychologicalProcess)
(patient ?P ?B)
?B))))
(=>
(instance ?X PsychologicalProcess)
(exists (?B)
(and
(instance ?X PsychologicalProcess)
(subProcess ?X ?B)
(subProcess ?X ?X)))
(subclass PsychologicalProcess PsychologicalProcess)
(documentation PsychologicalProcess EnglishLanguage "A &%PsychologicalProcess which is not
acceptural of into intended.")
(=>
(instance ?PC PsychologicalProcess)
(exists (?AGENT1 ?AGENT2)
(and
(instance ?AGENT1 PsychologicalProcess)
(subProcess ?PC ?AGENT2)
(subsumesContentInstance ?PC ?AGENT2)
(subProcess ?AGENT1 ?PC)
(subProcess ?AGENT1 ?AGENT2)
(patient ?PC ?X)
(or
(instance ?AGENT2 Agent)
(subProcess ?AGENT1 ?X)
(and
(subProcess ?AGENT2 ?PERSON)
(instance ?AGENT1 PsychologicalProcess)
(instance ?PERSON PsychologicalProcess)
(destination ?PERSON ?PERSON)
(agent ?PERSON ?AGENT1)
iter_dt 964.41ms; iter 4050: train loss 0.57330
iter_dt 960.20ms; iter 4100: train loss 0.58289
iter_dt 961.80ms; iter 4150: train loss 0.55983
iter_dt 962.71ms; iter 4200: train loss 0.57450
iter_dt 961.94ms; iter 4250: train loss 0.56588
iter_dt 959.04ms; iter 4300: train loss 0.54396
iter_dt 957.94ms; iter 4350: train loss 0.56712
iter_dt 962.22ms; iter 4400: train loss 0.54234
iter_dt 961.84ms; iter 4450: train loss 0.55510
iter_dt 963.68ms; iter 4500: train loss 0.55393
iter_dt 961.88ms; iter 4550: train loss 0.55627
iter_dt 960.32ms; iter 4600: train loss 0.55890
iter_dt 960.38ms; iter 4650: train loss 0.55624
iter_dt 962.96ms; iter 4700: train loss 0.55078
iter_dt 963.93ms; iter 4750: train loss 0.52966
iter_dt 968.88ms; iter 4800: train loss 0.54045
iter_dt 961.23ms; iter 4850: train loss 0.53829
iter_dt 962.51ms; iter 4900: train loss 0.53280
iter_dt 962.27ms; iter 4950: train loss 0.53807
iter_dt 961.50ms; iter 5000: train loss 0.54970
(not ?X ?U))
(instance ?U UnitOfVolentContentBearingObject)
(capability Ranging instrument ?X ?X)
(instance ?UNIT UnaryReaing))
(=>
(and
(instance ?VOLENT VolentContentBearingObject)
(attribute ?VOLENT ?AGENT))
(not
(exists (?POIST1 ?POIST2)
(and
(instance ?POIST1 Device)
(part ?POIST2 ?POIST1 ?VOLENT ?POIST2))))
(=>
(and
(instance ?VOLENT VolentContentBearingObject)
(attribute ?POIST1 ?AGENT)
(instance ?VOLENT VolentContentBearingObject))
(attribute ?POIST1 VolentContent))
(subAttribute Artifact Artifact)
(documentation Artifact EnglishLanguage "(Artifact ?ARTIFACT ?X) means that ?ARTIFACT is
a property out in the &%Outdoors in which ?X, i.e. the &%part of the arm
outs a &%Government in which the properPart is a &%GeographicArea in which
?X.")
(subAttribute UnitOffact Proposition)
(=>
(and
(instance ?U UnitOfMack)
(patient ?U ?O))
(exists (?TRAN)
(and
(instance ?TRAN Government)
(part ?TRAN ?X)))))
(subclass Broot GovernmentOrganization)
(documentation Broot EnglishLanguage "An &%OrganizationDevice that is capable to
holder in cheld in which the arm is some something a &%GovernmentOrganization.")
(subclass Breath LearmProfession)
(documentation Breath EnglishLanguage "An &%Organization that can be some different from &%Breath
which is &%ph agent to broad contain ow to a celear between the &%GeographicSreeignc
&%GovernmentOrganization.")
(=>
(and
(instance ?X Breath)
(pholdsDuring ?X
(agent ?X ?GRO))))
(holdsDuring ?T1
(and
(contains ?X ?GRO)))))
(subclass KianOccupation Right)
(subclass KianOccupation BiologicalArea)
(documentation KianOcccupation EnglishLanguage "An &%Organization that can be death an
one &%ErgishLanguage that is an instance order to breather it, i.e. it is
large the powern of the groanization is device to by a
kianoccupation and threee light.")
(=>
(instance ?KIANOC KianOccupation)
(hasPurpose ?KIANOC
(exists (?KIANOC)
(and
(instance ?KIANOC KianOcccupation)
(possesssess ?KIANOC ?KIANOC))))
(=>
(instance ?X KianOcccupation)
(and
(attribute ?X Kianocccupation)
(attribute ?X DeviceOcccupation)))
(subclass Powering IntentionalOrganization)
(documentation Powering EnglishLanguage "&%Powering that can be eneither and the can be used to be
device an &%Organization or subclass of &%PoliticalAreas exaching the building to &%Fald
that plain.")
(subclass Powering IntentionalOrganization)
(documentation Powering EnglishLanguage "English &%IntentionalOrganization the reside of
&%Position that surface the gooverning a &%PoliticalAreas or some subclass of
&%Recient can be mused to recieve that reaching &%Water.")
(=>
(instance ?X Powering)
(exists (?OURG)
(and
(instance ?OURG Position)
(instrument ?X ?OURG))))
(subclass Powering IntentionalOrganization)
(documentation Powering EnglishLanguage "&%Powering the can be &%IntentionalOrganization
to a seapon.")
(=>
(instance ?POWERING Powering)
(exists (?WATER)
(and
(instance ?WATER Water)
(patient ?POWERING ?WATER)
(instance ?WATER Water)))))
(subclass Falieng IntentionalOrganization)
(documentation Falieng EnglishLanguage "&%Bendeg in a building power combused of
&%Alierg.")
(=>
(and
(instance ?FALIE Falieng)
(patient ?FALIE ?DEVICE)
(patient ?FALIER ?PLACE))
(instance ?DEVICE Device))
(=>
(instance ?X Falieng)
(exists (?DEVICE)
(and
(instance ?DEVICE Device)
(instance ?DEVICE Device))))
(subclass MuseFalieng Falieng)
(documentation MuseFalieng EnglishLanguage "&%MuseFalieng is a type of some &%Falieng
&%Falieng that is not a sixentence circuded by the fuilding &%Breaing,
which mais octoric, i.e.g. and a falieng falieng, a &%Falieng and place and
follids at leaval a product or &%Breaing to particular contreespondend by an &%Animal and
place the folllids.")
(=>
(instance ?M MuseFalieng)
(exists (?T ?B)
(and
(instance ?S Seentence)
(part ?S ?B)
(ins
iter_dt 961.80ms; iter 5050: train loss 0.51230
iter_dt 964.21ms; iter 5100: train loss 0.52538
iter_dt 959.80ms; iter 5150: train loss 0.53246
iter_dt 960.90ms; iter 5200: train loss 0.52941
iter_dt 960.24ms; iter 5250: train loss 0.53562
iter_dt 962.86ms; iter 5300: train loss 0.51644
iter_dt 963.24ms; iter 5350: train loss 0.52225
iter_dt 963.68ms; iter 5400: train loss 0.53667
iter_dt 960.94ms; iter 5450: train loss 0.53304
iter_dt 967.93ms; iter 5500: train loss 0.52156
iter_dt 962.33ms; iter 5550: train loss 0.51970
iter_dt 965.38ms; iter 5600: train loss 0.50811
iter_dt 961.17ms; iter 5650: train loss 0.50404
iter_dt 959.90ms; iter 5700: train loss 0.48911
iter_dt 961.96ms; iter 5750: train loss 0.50135
iter_dt 960.11ms; iter 5800: train loss 0.50630
iter_dt 962.92ms; iter 5850: train loss 0.51258
iter_dt 961.86ms; iter 5900: train loss 0.49738
iter_dt 961.72ms; iter 5950: train loss 0.48965
iter_dt 962.25ms; iter 6000: train loss 0.47706
(instance ?R Recording)
(subclass EntertainmentOrganization Device)
(subclass EntertainmentOrganization Device)
(subclass EntertainmentOrganization RepressionOrEngineringComponent)
(documentation EntertainmentOrganization EnglishLanguage "A &%Process where perficition an instance of
&%EntertainmentOrganizations that has an instance of &%EntertainmentOrganization.")
(=>
(instance ?ENTERT EntertainmentOrganization)
(exists (?ORG)
(and
(instance ?ORG Organization)
(result ?ENTERT ?ORG)))
(documentation organization EnglishLanguage "(organization ?ORG ?ORG1) means that the &%Physical ?ORG2 is ?ORG1
and ?ORG2.")
(subclass TermanList GovernmentOrganization)
(disjointRelation TermanList List)
(subclass TermanList Organization)
(documentation TermanList EnglishLanguage "A &%GovernmentOrganization is a &%TermanList
that are physicaly the subclass of &%GovernmentOrganization. The making a
list set of &%TermanLists in which the bases of &%Organizations
is a &%TerminatingList that the same &%List.")
(=>
(instance ?TERMANL TerminatingList)
(exists (?CUST)
(and
(instance ?CUST Permanent)
(result ?X ?CUST)))))
(subclass List Organization)
(subclass List Suncernt)
(subclass List FarmBussiness)
(documentation List EnglishLanguage "A &%Position while is a &%List
a &%Farm that concern of a &%List.")
(=>
(instance ?LIST List)
(exists (?FARM)
(and
(instance ?FARM Farm)
(represents ?FARM ?FARM)
(part ?LIST ?FARM))))
(subclass SoodiumFn Business)
(documentation SoodiumFn EnglishLanguage "A &%Business that can be point of the same business,
e.g. or more likelis.")
(=>
(instance ?FUN SoodiumFn)
(exists (?BUSINESS)
(and
(instance ?BUSINESS DistringList)
(represents ?FUN ?BUSINESS))))
(subclass SoodiumFn Organization)
(subclass SoodiumFn Termination)
(documentation SoodiumFn EnglishLanguage "An &%instance of &%TernaryFunction which is used for &%Monetary
conded of the &%Termination.")
(=>
(instance ?SOODIUM SoodiumFn)
(exists (?POINT1)
(and
(instance ?POINT2integer ?SOODIUM)
(represents ?SOODIUM ?SOODIUM))))
(=>
(instance ?SOODIUM SoodiumFn)
(equal ?POINT2 (PastFn ?POINT1)))
(subclass WethNumber UnitOfTermination)
(documentation WethNumber EnglishLanguage "A &%UnaryFunction that maps a single
&%UnitOfMeasure that is the &%Termination of the &%Numbers.")
(=>
(instance ?UNIT WethNumber)
(exists (?NUMBER3)
(and
(instance ?UNIT UnitOfMeasure)
(equal ?NUMBER3 ?UNIT)
(condaryAttribute
(equal ?NUMBER2 ?UNIT)))))
(instance decadeade BinaryPredicate)
(domain decadeade 1 Physical)
(domain decadeade 2 SymbolicString)
(documentation decadeade EnglishLanguage "(&%decadeade ?STRING ?STRING) decades the class
of many &%Physical conditions of the original &%Physical bead, so &%totagether &%SymbolicString &%Physical.")
(=>
(decadeade ?STRING ?STRING)
(exists (?SUNIT)
(and
(instance ?SUNIT TringSunit)
(instance ?SUNIT SymbolicString))))
(instance decadeade Predicate)
(instance decadeade TernaryPredicate)
(domain decadeadeade 1 SymbolicString)
(domain decadeadeade 2 Entity)
(documentation decadeadeade EnglishLanguage "(&%decadeadea ?STRING ?STRING) means that ?STRING is the &%SymbolicString ?STRING.")
(domain decadeadeade 1 SymbolicString)
(domain decadeadeade 2 SymbolicString)
(documentation decadeadeade EnglishLanguage "(&%decadeadeade ?STRING ?STRING.")
(documentation decadeadeades EnglishLanguage "(&%decadeadeadeade ?STRING ?STRING) means that
?STRING is a cause of the ?STRING.")
(instance entity SymbolicString)
(subrelation entity holdsDuring)
(instance entity SymbolicString)
(documentation entity EnglishLanguage "(entity ?OBJ ?STRING) means that ?STUTY
is the &%AutonomousAgent ?OBJ fars a class of ?STRING.")
(domain entity 1 AutonomousAgent)
(domain entity 2 HumanLanguage)
(=>
(entity ?OBJ ?STRING)
(exists (?STRING)
(overlapsTemporally ?
iter_dt 963.17ms; iter 6050: train loss 0.48182
iter_dt 961.89ms; iter 6100: train loss 0.48939
iter_dt 961.72ms; iter 6150: train loss 0.49257
iter_dt 960.09ms; iter 6200: train loss 0.49457
iter_dt 960.03ms; iter 6250: train loss 0.48572
iter_dt 956.61ms; iter 6300: train loss 0.47180
iter_dt 964.07ms; iter 6350: train loss 0.48967
iter_dt 961.71ms; iter 6400: train loss 0.48860
iter_dt 960.54ms; iter 6450: train loss 0.49699
iter_dt 960.04ms; iter 6500: train loss 0.48356
iter_dt 959.98ms; iter 6550: train loss 0.49693
iter_dt 959.58ms; iter 6600: train loss 0.48175
iter_dt 959.72ms; iter 6650: train loss 0.46966
iter_dt 958.99ms; iter 6700: train loss 0.47078
iter_dt 959.87ms; iter 6750: train loss 0.47255
iter_dt 962.32ms; iter 6800: train loss 0.46932
iter_dt 963.14ms; iter 6850: train loss 0.46411
iter_dt 976.35ms; iter 6900: train loss 0.45988
iter_dt 961.28ms; iter 6950: train loss 0.46321
iter_dt 961.39ms; iter 7000: train loss 0.45084
(instance ?C Clothing)))
(=>
(and
(instance ?C Clothing)
(patient ?C ?C))
(exists (?S)
(and
(instance ?S Shoting)
(part ?S ?C))))
(subclass ProblicSheeting Clothing)
(documentation ProblicSheeting EnglishLanguage "&%ProblicSheeting is a
&%Clothing together than a problic cover than who is problictly from part who
in its does not all problic cover becoming other together.")
(=>
(and
(instance ?CHEELL Chell)
(part ?PART ?OBJ))
(exists (?S1 ?S2 ?HEAR)
(and
(instance ?S1 Hearing)
(equal ?S1 (SubtractionFn ?S2 ?HEAR))
(subProbability (BeginFn (WhenFn ?S1))
(not
(meetsSpatially ?S1 ?S2))
(finishes ?S2 ?S2)))))
(subclass ScingInterproblicString Clothing)
(documentation ScingInterproblicString EnglishLanguage "A &%ScingInterproblicString is a &%subProblicString whose
part of an &%Object, i.e. being a &%ReproblicString to the part of a specific sheet argument
and one object, where these maintaining dependenting to that is notione when an
instance of &%Object that is ended to be in the cases of
&%Clothing.")
(=>
(instance ?STR ScingInterproblicString)
(exists (?OBJ1)
(and
(or
(instance ?OBJ2 Clothing)
(instance ?OBJ1 Object)
(destination ?STR ?OBJ2)
(subProcess ?STR ?STR))))
(=>
(instance ?STR Scinging)
(exists (?OBJ1 ?OBJ2)
(and
(instance ?STR SocialObject)
(agent ?STR ?OBJ1)
(patient ?STR ?OBJ2)
(destination ?STR ?STR)
(holdsDuring
(ImmediateFutureFn (WhenFn ?STR))
(patient ?STR ?OBJ2)))))))
(subclass ScingIncransproblicString Scing)
(documentation ScingIncransproblicString EnglishLanguage "A &%Scing that has a
&%Scing is a string body to a schele to a &%Building connfite.")
(=>
(instance ?S ScingIncransproblicString)
(exists (?S)
(and
(instance ?S Sching)
(part ?S ?S)))
(subclass ScingIncransproblicString ScingIncransanceRole)
(documentation ScingIncransproblicString EnglishLanguage "Any &%ScingIncransalChange that has a
&%ScingleObject, i.e. the &%patient of a &%Building that that has a string to a
&%Building.")
(=>
(instance ?SCINGING ScingIncransproblicString)
(exists (?PART ?BUILDING)
(and
(or
(instance ?BUILDING ScingIncransance)
(agent ?BUILDING ?SCINGING)
(part ?PART ?SCINGING)))))
(=>
(instance ?X ScingIncransproblicString)
(exists (?THING)
(and
(instance ?THING Human)
(agent ?X ?X)
(objectTransferred ?THING ?X)))
(subclass System Stating)
(documentation System EnglishLanguage "A &%Stating in a &%Stating which is
involved to starts one another to such a waych.")
(=>
(instance ?X System)
(exists (?PART)
(and
(objectTransferred ?X ?PART)
(distance ?PART ?PART))))
(=>
(instance ?X System)
(exists (?START ?WAYCE)
(and
(instance ?START WayChange)
(instrument ?PART ?START)
(instance ?WAYCE Start)
(destination ?START ?X)
(objectTransferred ?PART ?X)
(part ?WAYCE ?X))))
;;
(subclass StalkLevel Sknthement)
;;(subclass StalkLevel Sobmenting)
(documentation StalkLevel EnglishLanguage "A &%Sknthement that is involved from &%System.")
(=>
(instance ?X Stating)
(exists (?PART)
(and
(starts ?X ?PART)
(or
(instance ?PART System)
(objectTransferred ?PART ?X))))
(subclass Criting Stating)
(documentation Criting EnglishLanguage "Any &%Stating which such a way to serves as the particular, some
assages, and stating.")
(=>
(instance ?X Criting)
(exists (?PART)
(and
(instance ?PART Shing)
(agent ?X ?PART)
(subProcess ?PART ?X)))))
(=>
(instance ?X Criting)
(capability Criting instrument ?X))
(=>
(instance ?X Criting)
(exists (?PART)
(and
(instance ?PART ParticularActiveStating)
(agent ?PART ?X))))
(subclass PrivateStateChange Stating)
(do
iter_dt 959.19ms; iter 7050: train loss 0.45823
iter_dt 960.62ms; iter 7100: train loss 0.47229
iter_dt 959.83ms; iter 7150: train loss 0.46003
iter_dt 960.82ms; iter 7200: train loss 0.47285
iter_dt 959.85ms; iter 7250: train loss 0.46604
iter_dt 961.56ms; iter 7300: train loss 0.45325
iter_dt 962.28ms; iter 7350: train loss 0.45213
iter_dt 962.58ms; iter 7400: train loss 0.45273
iter_dt 962.62ms; iter 7450: train loss 0.45488
iter_dt 963.29ms; iter 7500: train loss 0.46550
iter_dt 961.57ms; iter 7550: train loss 0.46086
iter_dt 959.49ms; iter 7600: train loss 0.45445
iter_dt 960.30ms; iter 7650: train loss 0.45163
iter_dt 962.87ms; iter 7700: train loss 0.43821
iter_dt 960.84ms; iter 7750: train loss 0.45385
iter_dt 959.60ms; iter 7800: train loss 0.44065
iter_dt 958.61ms; iter 7850: train loss 0.43001
iter_dt 962.22ms; iter 7900: train loss 0.43630
iter_dt 962.25ms; iter 7950: train loss 0.45051
iter_dt 964.31ms; iter 8000: train loss 0.43402
(subclass Cleavestig MobilitaryExpression)
(subclass Cleavestig MobilitaryOrganization)
(documentation Cleavestig EnglishLanguage "Any &%MobilitaryOrganization where the
&%instrument is mother the &%agent and covers fort each employee.")
(=>
(and
(instance ?CLEAVE Cleavestig)
(agent ?CLEAVE ?ORG)
(patient ?CLEAVE ?OBJ)
(holdsDuring (BeginFn (WhenFn ?CLEAVE)) (attribute ?OBJ Cleave)))
(=>
(and
(instance ?CLEAVE Cleave)
(patient ?CLEAVE ?OBJ))
(holdsDuring (BeginFn (WhenFn ?CLEAVE)) (attribute ?OBJ Fealier)))
(subclass MilitaryOrganization Organization)
(documentation MilitaryOrganization EnglishLanguage "Any &%Organization whose employee is military
to a &%Class or a &%UnitOrVegetable.")
(=>
(instance ?ORG MilitaryOrganization)
(exists (?ORG)
(and
(instance ?ORG Organization)
(agent ?ORG ?ORG))))
(instance BreakingFn UnaryFunction)
(domain BreakingFn 1 Organization)
(domain BreakingFn 2 Class)
;; Jennie 1st August 2022
;; Change for ?ORG of a class of class coal and ?SH and argument to ?ORG over ?ORG
(=>
(and
(instance ?ORG Breaking)
(agent ?BREAKE ?AGENT)
(patient ?BREAKE ?ORG))
(holdsDuring (BeginFn (WhenFn ?BREAKE))
(attribute ?AGENT ?ORG))
(subclass Saking UnitOrVegetable)
(documentation Saking EnglishLanguage "Any &%Vegetable whose aim is made up of
a &%Class of &%Position. Note that this class covers intended to be a common
with the axis difference by the outer &%Positions that is also a same same difference.")
(=>
(and
(instance ?SANK Saking)
(patient ?SANK ?ORG)
(patient ?SANK ?SANT))
(exists (?LENGTH)
(and
(instance ?LENGTH Length)
(patient ?LENGTH ?ORG)
(inScopeOfInterest ?PLANGETH ?ORG))))
(subclass Lengthengthening InflaxiveTeable)
(documentation Lengthengthening EnglishLanguage "Any &%InflaxiveTeable which are used to be used in
which are a common kind able to be used to become when the &%LengthMeasure or The first &%located.")
(=>
(instance ?LENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGENTHENGTHENGTHENGTHENGENGTHENGTHENGTHENGTHENGENGTHENGTHENGTH)
(exists (?CLASS ?THENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGTH)
(and
(instance ?CLASS Class)
(represents ?LENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGTHENTHENGTHENGTH)
(instance ?THENGTHENGTH Lengthengthengthening)
(subProcess ?CLASS ?THENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGTH)
(not
(believes ?THENGTHENGTHENGT ?THENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGTHENTHENGTHENGTHENGTH))
(orientation ?THENGTHENGTHENGTH ?THENGTHENGTHENGTHENGENGTH))))
(=>
(and
(instance ?THENGTHENGENGTH Thengring)
(patient ?THENGTHENGTH ?THENGTHENGTHENGTHENGTHENGTHENGTHENGENTH)
(represents ?OBJECTHENGENGTH ?THENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGTH))
(instance ?THENGTHENGOTHENGENGTH Thengenthening)
(represents ?OBJ ?THENGTHENGTHENGTHENGTH))
(and
(representsInLanguage ?THENGTHENGTHENGTHENGTHENGTHENGENGTHENGTHENGTHENGTHENGENTH)
(earlier ?THENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGTHENGENTHENGTHENGENTHENGENTH)))
(instance representsInLanguage IrreflexiveRelation)
(instance representsInLanguage TransitiveRelation)
(instance representsInLanguage IrreflexiveRelation)
(instance representsInLanguage IrreflexiveRelation)
(instance representsInLanguage IrreflexiveRelation)
(domain representsInLanguage 1 Object)
(domain representsInLanguage 2 Object)
(domain representsInLanguage 3 Language)
(=>
(representsInLanguage ?REPRESENT ?LANGUAGE)
(representsInLanguage ?REPRESENT ?INDIV))
(=>
(representsInLanguage ?REPRESENT ?INDIV)
(representsInLanguage ?REPRESENT ?INDIV))
(instance representsInLanguage TransitiveRelation)
(instance representsInLanguage TransitiveRelation)
(instance representsInLanguage IrreflexiveRelation)
(instance repropresentsInLanguage BinaryPredicate)
(instance representsInLanguage IrreflexiveRelation)
(instance representsInLanguage TransitiveRelation)
(domain representsInLanguage 1 Object)
(domain representsInLanguage 2 Language)
(subrelati
iter_dt 964.27ms; iter 8050: train loss 0.43707
iter_dt 960.07ms; iter 8100: train loss 0.44620
iter_dt 961.65ms; iter 8150: train loss 0.43797
iter_dt 961.48ms; iter 8200: train loss 0.44514
iter_dt 961.35ms; iter 8250: train loss 0.44485
iter_dt 962.05ms; iter 8300: train loss 0.41886
iter_dt 963.65ms; iter 8350: train loss 0.43754
iter_dt 959.55ms; iter 8400: train loss 0.43855
iter_dt 960.52ms; iter 8450: train loss 0.43480
iter_dt 959.50ms; iter 8500: train loss 0.42901
iter_dt 963.17ms; iter 8550: train loss 0.43996
iter_dt 963.33ms; iter 8600: train loss 0.42981
iter_dt 977.86ms; iter 8650: train loss 0.42189
iter_dt 962.88ms; iter 8700: train loss 0.43359
iter_dt 961.35ms; iter 8750: train loss 0.42049
iter_dt 959.97ms; iter 8800: train loss 0.44230
iter_dt 961.75ms; iter 8850: train loss 0.42661
iter_dt 959.03ms; iter 8900: train loss 0.41226
iter_dt 959.06ms; iter 8950: train loss 0.41771
iter_dt 962.01ms; iter 9000: train loss 0.42212
(instance ?DID DiappendentSubstance)
(instrument ?DIG ?DIG)
(instance ?DIG Diging)
(patient ?DIG ?DIG)
(located ?DIG ?P)))))
(subclass DigitAppendage DigitAppendage)
(documentation DigitAppendage EnglishLanguage "The class of &%DigitAppendages that are all of a
&%DigitAppendages to another &%DigitAppendages that results in a &%ContestAnimal.")
(=>
(and
(instance ?D DigitAppendage)
(patient ?D ?N))
(instance ?N November))
(subclass DigitAppendage DigitAppendage)
(documentation DigitAppendage EnglishLanguage "The class of &%DigitAppendages that permanent
a &%Contest and which is producely in a time followed by a
&%DigitAppendages or a &%DigitAppendage.")
(=>
(and
(instance ?REC DigitAppendage)
(patient ?REC ?AGENT)
(instance ?AGENT DigitAppendage))
(and
(holdsDuring
(BegitAppendage ?REC ?AGENT)
(instance ?AGENT DigitAppendage)))
(subclass DigitAppendage DigitAppendage)
(documentation DigitAppendage EnglishLanguage "&%DigitAppendages that has a handle airled at
which the act is essed to simulated to schimung a &%DigitAppendages that
permanent from a &%Human or &%DigitAppendages that has a digested aps contest.")
(termFormat EnglishLanguage DigitAppendage "digit appendage")
(=>
(instance ?D DigitAppendage)
(xists (?AGENT ?FLOOR)
(and
(instance ?AGENT DigitAppendage)
(instance ?FLOOR Floor)
(instrument ?D ?FLOOR)
(instance ?FLOOR Floor)
(patient ?FLOOR ?PERSON)
(destination ?FLOOR ?FLOOR)
(instance ?FLOOR Floor)
(memberCount ?DLOOR ?FLOOR)))
(subclass Anternoon DigitAppendage)
(documentation Anternoon EnglishLanguage "&%Anternoon is a digital bit that applies
of abstract that must be used to &%Floor the act permanent")
(termFormat EnglishLanguage Anternoon "anternoon"on")
(=>
(instance ?A Anternoon)
(hasPurpose ?A
(exists (?H ?B)
(and
(instance ?H Human)
(instance ?B BodyMotion)
(patient ?H ?B)
(containsInformation ?B ?B)
(destination ?B
(Key ?B))))
(subclass Floor HumanChine)
(documentation Floor EnglishLanguage "A &%HumanChine which results occurrence to
use its intended to be easily handing the abstract. Note that this class covers
be infloor components of all bodies, hight-be floors oversees of bodies used for
hight-ories.")
(subclass Southandle HumanChine)
(documentation Southandle EnglishLanguage "A component of a
&%HumanChine that is a result of abstract must chowposed and which components
results in the floors of a dametern and destination.")
(subclass Southandle HumanChine)
(subclass Apell HumanChine)
(subclass Southandle House)
(subclass Apell DomesticChine)
(documentation Apell EnglishLanguage "A domesticated and house with result is a roometer
&%HumanChinese.")
(=>
(instance ?SOUTHANDLE Apell)
(hasPurpose ?SOUTHANDLE
(exists (?MAKE ?A)
(and
(instance ?MAKE Making)
(instrument ?SOUTHANDLE ?AGENT)
(patient ?MAKE ?A)
(destination ?MAKE ?MAKE ?A)
(subProcess ?SOUTHANDLE ?AGENT)))
(subclass HumanChine HumanChine)
(documentation HumanChine EnglishLanguage "A &%HumanChine is a chine of &%House or &%Humans
whire than &%HumanChinese.")
(=>
(instance ?TH HumanChine)
(hasPurpose ?TH
(exists (?H)
(and
(instance ?H House)
(part ?H
(HouseFn ?D))))
(holdsDuring (WhenFn ?T) (located ?H ?TH))))
(subclass Schine HumanChine)
(documentation Schine EnglishLanguage "A long &%HumanChinese that has a long to and bush to
dializery house, i.e. two in the gulardways.")
(=>
(instance ?SCHINE Schine)
(hasPurpose ?SCHINE
(exists (?MAKE ?SCHINE)
(and
(instance ?MAKE MakingMaking)
(instance ?MAKE Making)
(result ?MAKE ?SCHINE))))
(subclass Glen HumanChine)
(documentation Glen EnglishLanguage "A &%HumanChine is a type of &%HumanChinese
which has a long to a dependent on thin a point of type &%HumanChinese from
the attaching to
iter_dt 961.57ms; iter 9050: train loss 0.42819
iter_dt 960.48ms; iter 9100: train loss 0.40403
iter_dt 961.08ms; iter 9150: train loss 0.40468
iter_dt 962.67ms; iter 9200: train loss 0.41607
iter_dt 963.44ms; iter 9250: train loss 0.40027
iter_dt 961.76ms; iter 9300: train loss 0.41072
iter_dt 963.00ms; iter 9350: train loss 0.39384
iter_dt 959.13ms; iter 9400: train loss 0.42941
iter_dt 960.78ms; iter 9450: train loss 0.42942
iter_dt 963.85ms; iter 9500: train loss 0.40103
iter_dt 966.45ms; iter 9550: train loss 0.40469
iter_dt 963.94ms; iter 9600: train loss 0.40901
iter_dt 961.27ms; iter 9650: train loss 0.40364
iter_dt 961.71ms; iter 9700: train loss 0.39488
iter_dt 961.25ms; iter 9750: train loss 0.40293
iter_dt 960.11ms; iter 9800: train loss 0.40342
iter_dt 960.79ms; iter 9850: train loss 0.39905
iter_dt 960.92ms; iter 9900: train loss 0.40817
iter_dt 963.63ms; iter 9950: train loss 0.39695
iter_dt 959.35ms; iter 10000: train loss 0.40384
(hasSkill Function Function)
(documentation HumanLanguage EnglishLanguage "A &%Function that maps an &%Object
with an instance of &%Function, i.e. the &%Object contains maps and
a communication whole. For example, a for a public weeld.")
(=>
(hasSkill ?OBJ ?TYPE ?LANG1 ?TYPE ?TYPE ?TYPE ?TYPE ?TYPE) ?TYPE)
(and
(holdsDuring ?TYPE
(attribute ?TYPE CommunicationFn ?TYPE))
(holdsDuring ?TYPE (attribute ?TYPE Function)))
(holdsDuring ?TYPE (attribute ?TYPE Function))))
(instance Illower Proposition)
(documentation Illower EnglishLanguage "The &%Proposition of being illower to an iller.")
(subclass SecurityUnit Unilower)
(documentation SecurityUnit EnglishLanguage "A &%Unilower where a &%member contains a
&%SecurityUnit was of &%Nation. A &%GeopoliticalArea and &%destination where the
&%argument of the &%Class are not partially lower describing its
not passert a &%SecurityUnit")
(termFormat EnglishLanguage SecurityUnit "security unit")
(=>
(holdsDuring ?T1
(and
(member ?OBJ ?UNIT1)
(member ?OBJ ?UNIT2))
(physicalPart ?OBJ ?X)
(or
(member ?OBJ ?DESCLASS)
(not
(exists (?INST ?ARGUMENT1 ?INST2)
(and
(instance ?INST1 ?OBJ)
(member ?INST2 ?ARGUMENT1)
(member ?OBJ ?INST1 ?ARGUMENT2)
(member ?INST1 ?MEMBER)
(destination ?INST2 ?ARGUMENT2))
(not
(not (member ?INST1 ?ARGUMENT2))
(not
(argument ?INST2 ?ARGUMENT1)
(holdsDuring ?T2 ?T1) (member ?X ?X)))))
(holdsDuring ?T2 ?T1)
(previousLocated ?X)
(attribute ?X ?ARGUMENT)))))))))))))))))))
(instance Doubling StateAttribute)
(subAttribute Doubling StateAttribute)
(contraryAttribute Doubling StateAttribute)
(documentation Doubling EnglishLanguage "The &%Attribute of blinging on the &%AmmericialBody that an
Any &%Houman.")
(=>
(attribute ?X Doubling)
(instance ?X Houman))
(=>
(property ?X Doubling)
(not
(capability MedicalBody and
(attribute ?X AmmericialBody ?BOD)))))
(subclass Hiring Guiding)
(documentation Hiring EnglishLanguage "Any instance of &%Guiding where the &%agent attribute
he/she &%Animal over another &%OneDimensionalAngle.")
(subclass Scanding AnimalAnatomicalStructure)
(subclass Scanding Translocation)
(subclass Scanding Substance)
(documentation Scanding EnglishLanguage "Contractible that serves the &%Scanding is
patient of the contract of the &%Animal.")
(=>
(patient ?SCAND Scanding)
(exists (?OBJ)
(and
(instance ?OBJ Animal)
(patient ?SCAND ?OBJ))))
(subclass BodyJoint BodyPart)
(documentation BodyJoint EnglishLanguage "The &%BodyPart contract in a &%BodyPart which markes the transite
between the animal BodyPart to the contracting its render to the body")
(subclass BodyPart BodyPart)
(documentation BodyPart EnglishLanguage "The form of an &%Animal by thing their body that has
the person digested to be tappe that one.")
(=>
(instance ?PART BodyPart)
(exists (?BODY)
(and
(instance ?BODY BodyPart)
(subProcess ?PART ?BODY))))
(subclass AnimalBodyPart BodyPart)
(documentation AnimalBodyPart EnglishLanguage "The &%BodyPart that is located on body tappe,
i.e. not ownd to convey &%Animals.")
(=>
(instance ?BODYPART AnimalBodyPart)
(exists (?BODY)
(and
(instance ?BODY BodyPart)
(part ?BODY ?OBJY))))
(subclass ThingAnimal AnimalAnatomicalStructure)
(documentation ThingAnimal EnglishLanguage "Any &%BodyPart that results for the body and which are the
body of an &%Animal &%Animal, e.g. which wy
iter_dt 960.38ms; iter 10050: train loss 0.41116
iter_dt 965.75ms; iter 10100: train loss 0.38833
iter_dt 960.54ms; iter 10150: train loss 0.41529
iter_dt 960.70ms; iter 10200: train loss 0.38522
iter_dt 961.04ms; iter 10250: train loss 0.39907
iter_dt 959.57ms; iter 10300: train loss 0.39235
iter_dt 962.31ms; iter 10350: train loss 0.39532
iter_dt 959.61ms; iter 10400: train loss 0.39282
iter_dt 960.07ms; iter 10450: train loss 0.38104
iter_dt 958.97ms; iter 10500: train loss 0.38895
iter_dt 960.00ms; iter 10550: train loss 0.40639
iter_dt 961.11ms; iter 10600: train loss 0.39547
iter_dt 962.49ms; iter 10650: train loss 0.39358
iter_dt 962.53ms; iter 10700: train loss 0.38533
iter_dt 962.72ms; iter 10750: train loss 0.39464
iter_dt 965.22ms; iter 10800: train loss 0.38654
iter_dt 962.71ms; iter 10850: train loss 0.37553
iter_dt 958.55ms; iter 10900: train loss 0.38804
iter_dt 959.30ms; iter 10950: train loss 0.39651
iter_dt 960.38ms; iter 11000: train loss 0.37831
(documentation Ocked EnglishLanguage "An &%Ocked which is a type of &%DreadRelationsation and &%Humans form
which one of the &%Relation where the &%Class distinct vome is an instance of &%Class.")
(=>
(and
(instance ?OCKE Ocked)
(equal (CereFn ?CLASS) ?POST))
(exists (?DIST)
(and
(instance ?DIST ?DIST)
(patient ?DIST ?OCKE)))
(subclass Leasing Transfer)
(documentation Leasing EnglishLanguage "&%Transfer is a type of &%Transfer whose is
all entirely by &%Artifacts owned")
(termFormat EnglishLanguage Leasing "leasing")
(=>
(instance ?LEASE Leasing)
(exists (?ARTIFACT)
(and
(instance ?ARTIFACT Building)
(patient ?LEASE ?ARTIFACT)))
(=>
(instance ?LEASSE Leasing)
(exists (?DECISION)
(and
(instance ?DECISION ?DECISION)
(origin ?LEASSION ?DECISION)))
(subclass CriminalAction PsychologicalProcess)
(documentation CriminalAction EnglishLanguage "Any &%PsychologicalProcess which are mediated
in &%EducationalOrganization.")
(=>
(instance ?LEASSION CriminalAction)
(exists (?ARTIFACT)
(and
(instance ?ARTIFACT EducationalProcess)
(instrument ?LEASSION ?ARTIFACT))))
(subclass SenseInLanguage Leasing)
(documentation SenseInLanguage EnglishLanguage "Any &%Leasing which is designed to be true.")
(=>
(instance ?LEASSION SenseInLanguage)
(exists (?INST)
(and
(instance ?INST ?LEASSION)
(refers ?LEASSION ?INST)))
(subclass BanthTub BanthTub)
(documentation BanthTub EnglishLanguage "Any &%Bantack is an instance of a &%Bantack.")
(=>
(instance ?TUB BanthTub)
(exists (?BANTACK)
(and
(instance ?BANTACK Bantack)
(part ?TUB ?BANTACK)))
(subclass Flying PsychologicalProcess)
(documentation Flying EnglishLanguage "A &%Bantack is a kind of at &%Flying (F. intentionalPerptory), i.e.
instances of &%PsychologicalProcess which consists about the &%EducationalProcess
of &%Manual and which involves alrger more specified to the courre of thin
thing.")
(=>
(instance ?FLYING Flying)
(exists (?PLACE)
(and
(instance ?PLACE PostalPerposition)
(refers ?PLACE ?FLYING)))
(subclass Bicket ContentBearingObject)
(subclass Bicket ContentBearingObject)
(documentation Bicket EnglishLanguage "A &%ContentBearingObject is a
&%ContentBearingObject that is part of a &%DataChingDevice where nothing
is part of a &%RoadVehicle. &%Bicket is delivered by defined in that
things departs of &%Flying and &%Food, and their hair between they manual by
definite classes. Note to that &%Flying is disjoint-laying in a &%TimePostalPlace that can
dizz. Note that this cover a used for time-specification, is the relationship by a
&%Flying, which some statisfy that is dized cased on &%Flying and &%Flying and &%Flying, and &%Flying, and word esirrres to to be
&%Flying.")
(=>
(instance ?BICKET Bicket)
(exists (?FLYING)
(and
(instance ?FLYING Flying)
(located ?FLYING ?FLYING))))
(subclass PostalPlace Place)
(subclass PostalPlace IntentionalPlace)
(documentation PostalPlace EnglishLanguage "A &%Place in a &%PostalPlace for
which involves story to acceding or a long engineering &%Liquid.")
(=>
(instance ?PLACE PostalPlace)
(exists (?LIQUID)
(and
(instance ?LIQUID Liquid)
(part ?LIQUID ?PLACE))))
(subclass Private Place)
(documentation Private EnglishLanguage "Any &%Place describes that diamotion
involve a piece of the &%Liquid to its currently &%Liquid.")
(=>
(instance ?PLACE Private)
(exists (?LIQUID ?CLASS)
(and
(instance ?LIQUID Liquid)
(contains ?PLACE ?LIQUID)
(instance ?LIQUID Liquid)
(measure ?PLACE ?LIQUID)))
(subclass WaterWave Place)
(documentation WaterWave EnglishLanguage "A &%Place which has sharves a walvel as a
travel att travel af who part is used in caused a which
can varying a &%WaterWave which conscituts another")
(termFormat EnglishLanguage WaterWave "wate
iter_dt 960.53ms; iter 11050: train loss 0.38483
iter_dt 961.35ms; iter 11100: train loss 0.37664
iter_dt 962.18ms; iter 11150: train loss 0.36957
iter_dt 965.30ms; iter 11200: train loss 0.37904
iter_dt 960.11ms; iter 11250: train loss 0.36830
iter_dt 959.98ms; iter 11300: train loss 0.37822
iter_dt 965.42ms; iter 11350: train loss 0.37655
iter_dt 959.43ms; iter 11400: train loss 0.36494
iter_dt 962.05ms; iter 11450: train loss 0.36832
iter_dt 958.92ms; iter 11500: train loss 0.36816
iter_dt 960.33ms; iter 11550: train loss 0.38499
iter_dt 960.63ms; iter 11600: train loss 0.37522
iter_dt 960.74ms; iter 11650: train loss 0.36956
iter_dt 960.42ms; iter 11700: train loss 0.36345
iter_dt 959.53ms; iter 11750: train loss 0.37610
iter_dt 962.78ms; iter 11800: train loss 0.36830
iter_dt 962.55ms; iter 11850: train loss 0.35645
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment