-515
:common-lisp-user
collection
-15
-2
:common-lisp
class
-121
genls
theory
-3
microtheory
-388
relationship
-13
truth-function
-198
function-denotational
temporal-object-type
individual
-4
attribute-value
-76
comment
model-fragment
-1128
isa
attribute-type
-22
measurable-attribute-type
derived-measurable-attribute-type
-16
unit-of-measure
-19
physical-attribute
propositional-information-thing
-28
case
cml-scenario
logical-connective
quantifier
predicate
-10
commutative-relation
relation
-21
variable-arity-relation
unary-relation
-5
binary-relation
ternary-relation
quaternary-relation
quintary-relation
unary-predicate
-50
binary-predicate
-6
transitive-binary-predicate
ternary-predicate
quaternary-predicate
quintary-predicate
variable-arity-function
-11
unary-function
binary-function
ternary-function
quaternary-function
quintary-function
functional-predicate
-8
functional-slot
reifiable-function
-20
evaluatable-function
-7
individual-denoting-function
collection-denoting-function
skolem-function
quantity-function
-27
scalar-interval
-9
interval-on-number-line
arg1-isa
-18
arg2-isa
arg3-isa
arg4-isa
-1
arg5-isa
arg6-isa
arg7-isa
args-isa
-46
result-isa
arg1-genl
arg2-genl
arg3-genl
arg4-genl
arg5-genl
arg6-genl
args-genl
result-genl
genl-preds
genl-mt
genl-attributes
genl-cases
genl-inverse
-108
=
=>
=>>
-122
implies
iff
<=>
there-exists
forall
for-all
disjoint-with
-240
and
or
-48
not
serial-and
consis
exists-as-fragment
fragment-name-fn
non-scalar-measurable-attribute-type
non-scalar-measure
-995
arity
function-form
-322
I
2
unit-multiplication-factor
-36
3
unit-expansions
ist
-2578
ist--information
start-fn
<
>
>=
<=
-24
+
-49
*
-32
-
/
acos
square-fn
sqrt
qprop
qprop-
i+
i-
q=
c+
c-
inheritable-predicate
-183
nvalue
default-nvalue
<<=
dvalue
default-dvalue
lvalue
tvalue
uvalue
acceleration
angular-acceleration-rate
area
monetary-flow-rate
money
pressure
rate
frequency
rate-of-rotation
speed
mass
time--quantity
distance
temperature
electrical-charge
molar-amount
luminosity
unit-type
unit-of-mass
unit-of-acceleration
unit-of-angular-acceleration
unit-of-area
unit-of-monetary-flow-rate
unit-of-money
unit-of-rate
unit-of-frequency
unit-of-speed
unit-of-time
unit-of-distance
unit-of-temperature
unit-of-charge
unit-of-fn
hypothetical
different
same
plan-step
ubiquitous-predicate
-625
1
set-or-collection
set--mathematical
case-library
-17
members
apply
apply-relation
mapcar
length-of-list-fn
the-set-of
the-set
set-union
minimum-fn
maximum-fn
identity-fn
var-fn
skolem-fn
kappa-fn
function-to-arg
unknown
gen-format
attracts
partially-tangible
revolve-around
-191
cause
gravity
opposite-sign
abstract-information
cyc-formula
cyc-expression
function-expression
the-partition
partitioned-into
computer-code-function
computer-code
executable-function-fn
set-mathematical
case-library-fn
case-library-contents
match
match-between
4
set
pragma
the-list
:keyword
backchain
never
functional
seeking-match-between
filtered-match-between
analogy-entity-with-structural-evaluation
matcher-fn
mapping
mapping-of
structural-evaluation-score
continuous-quantity
best-mapping
mapping-fn
required-correspondence
excluded-correspondence
required-base-correspondence
required-target-correspondence
correspondence
correspondence-of
has-correspondence
correspondence-between
mh-fn
candidate-inference
candidate-inference-of
candidate-inference-content
support-score
extrapolation-score
analogy-skolem-fn
nil
dimensional-difference
ci-fn
entity-similarity-of
root-similarity-of
role-difference-of
base-alignable-absence-of
target-alignable-absence-of
base-only-NAD-of
target-only-NAD-of
-65
explicit-case-fn
agent-case-fn
agent-in-context-case-fn
event-case-fn
event-no-postlude-case-fn
recursive-case-fn
interest-case-fn
interest-no-postlude-case-fn
interest-in-context-case-fn
case-fn
case-w-filter-fn
case-by-query-fn
enhanced-case-fn
extended-case-fn
case-conjunction-fn
case-by-event-set-fn
quick-match-between
recursive-match-between
ubiquitous-for
reminding
-799
borders-on
-14
afghanistan
-34
china
iran
pakistan
tajikistan
turkmenistan
uzbekistan
albania
greece
serbia-and-montenegro
the-former-yugoslav-republic-of-macedonia
algeria
libya
mali
mauritania
morocco
niger
tunisia
western-sahara
andorra
france
-12
spain
angola
congo
namibia
zaire
zambia
argentina
bolivia
brazil
chile
paraguay
uruguay
armenia
azerbaijan
georgia
turkey
austria
czech-republic
germany
hungary
italy
liechtenstein
slovakia
slovenia
switzerland
-31
russia
bangladesh
burma
india
belarus
latvia
lithuania
poland
ukraine
belgium
luxembourg
netherlands
belize
guatemala
mexico
benin
burkina
nigeria
togo
bhutan
peru
bosnia-and-herzegovina
croatia
botswana
south-africa
zimbabwe
colombia
french-guiana
guyana
suriname
venezuela
brunei
malaysia
bulgaria
romania
cote-d-ivoire
ghana
laos
thailand
burundi
rwanda
tanzania
cambodia
vietnam
cameroon
central-african-republic
chad
equatorial-guinea
gabon
canada
united-states
sudan
hong-kong
kazakhstan
korea-north
kyrgyzstan
macau
mongolia
nepal
ecuador
panama
costa-rica
nicaragua
guinea
liberia
cuba
denmark
djibouti
eritrea
ethiopia
somalia
dominican-republic
haiti
egypt
gaza-strip
israel
el-salvador
honduras
estonia
kenya
finland
norway
sweden
monaco
gibraltar
guinea-bissau
senegal
sierra-leone
holy-see
indonesia
papua-new-guinea
iraq
jordan
kuwait
saudi-arabia
syria
ireland
united-kingdom
lebanon
west-bank
san-marino
uganda
korea-south
lesotho
malawi
mozambique
moldova
swaziland
oman
united-arab-emirates
yemen
portugal
qatar
the-gambia
mediterranean-sea
south-atlantic-ocean
anguilla
caribbean-sea
antigua-and-barbuda
aruba
caspian-sea
bahrain
persian-gulf
bay-of-bengal
barbados
bassas-da-india
mozambique-channel
north-sea
-30
north-atlantic-ocean
bermuda
bouvet-island
black-sea
north-pacific-ocean
cayman-islands
south-pacific-ocean
christmas-island
indian-ocean
clipperton-island
cocos-islands
comoros
coral-sea-islands
coral-sea
adriatic-sea
red-sea
dominica
baltic-sea
europa-island
falkland-islands
fiji
french-southern-and-antarctic-lands
glorioso-islands
greenland
grenada
guam
guernsey
english-channel
heard-island-and-mcdonald-islands
south-china-sea
howland-island
arabian-sea
irish-sea
jan-mayen
greenland-sea
norwegian-sea
jarvis-island
jersey
aral-sea
kingman-reef
madagascar
malta
man-isle-of
marshall-islands
martinique
mauritius
mayotte
micronesia-federated-states-of
midway-islands
montserrat
navassa-island
netherlands-antilles
new-caledonia
new-zealand
niue
pacific-islands---trust-territory-of-the
palmyra-atoll
pitcairn-islands
reunion
saint-kitts-and-nevis
saint-lucia
saint-pierre-and-miquelon
saint-vincent-and-the-grenadines
seychelles
solomon-islands
south-georgia-and-the-south-sandwich-islands
svalbard
arctic-ocean
barents-sea
the-bahamas
tokelau
trinidad-and-tobago
tromelin-island
turks-and-caicos-islands
tuvalu
vanuatu
virgin-islands
wake-island
wallis-and-futuna
western-samoa
body-of-water
gulf-of-mexico
country
australia
french-polynesia
japan
kiribati
philippines
sao-tome-and-principe
singapore
taiwan
-236
population-of
16903400
3374085
27895068
63930
9803576
7052
64762
33912994
3521517
65545
18077419
7954974
7684456
585683
125149469
255827
0
10404862
10062836
208949
5341710
61158
716380
7719445
4651485
1359352
158739257
284653
8799986
10134661
44277014
6124747
10264628
13132191
28113997
31790
3142182
5466771
13950557
1190431106
973
598
35577556
530136
2446902
3342154
14295501
4697614
11064344
10408280
5187821
412599
87696
7826075
10677067
60765028
5752511
409550
3782543
1616882
54927108
2261
764382
5068931
57840445
139299
215129
1139006
731296
5681025
81087506
17225185
31684
10564630
57040
94109
149620
10721387
63719
6391536
1098231
729425
6491450
821
5314794
5548754
10319113
919903056
200409741
65615474
19889666
3539296
5050850
58138394
125106937
86048
3961194
17267554
28240658
77853
23066573
45082880
1819322
4698108
4701654
2749211
3620395
1944493
2972766
5057392
30281
3848389
401900
484557
13427758
9732409
19283157
9112950
366767
72017
54031
392362
2192777
1116923
93468
92202199
120347
4473033
31278
2429762
12701
28558635
17346280
1595567
21041527
15367928
185790
181309
3388737
4096689
8971605
98091097
1906
4314604
1701470
16366
128855965
2630000
4196806
5213772
23650671
69808930
71
38654561
10524210
512779
652857
23181415
149608953
8373963
40671
145090
6704
115437
24091
136780
18196783
8730508
10759897
72113
4630037
2859142
5403505
1972227
385811
6666873
43930631
39302665
29419798
422840
3018
936369
8778461
7040119
14886672
21298930
5995469
27985660
59510471
273055
2213785
959300
4255090
1523
1328282
8726562
62153898
3995122
13552
9831
19121934
51846958
2791141
58135110
260713585
3198910
22608866
169776
20562405
73103898
97564
302
14338
1443790
211877
204447
11105202
42684091
9188190
10975078
active
process
process-instance
a
constant
d
decreasing
diff
difference
-110
equal
equal-to
function-of
greater
increasing
less-than
magnitude
pair
prop
qprop+
sub
at
change-in
emits
exists
-174
follow
happen
instance-of
meets
observes
same-time
situation
direction
force
position
velocity
waves-in
amount-of
c-s
flow
flow-rate
fluid-path
flux
inertance
volume-current
volume-displacement
water-in
water-level
density
charge
current
electromagnetism
inductance
potential-difference
voltage
conductivity
heat
heat-capacity
heat-path
max-power
liquid
powder
solid
black
clear
dark
red
shiny
white
dense
low-density
medium-dense
large
medium-sized
small
rough
smooth
glass
metal
wood
cheap
expensive
moderately-priced
aligned
closed
compressed
cylindrical
flat-top
leaky
open
stretched
above
below
centered-above
centered-below
centered-inside
centered-left-of
centered-outside
centered-right-of
circular
diameter
inside
left-of
normal
outside
part-of
rec-coord
5
right-of
sloped-toward
tangential
taxonomy
abstract
action
administration
administrative
adroit
adult
adventurous
affectionate
affluent
african
agrarian
altruistic
american
animal-lover
animate
annual
antlered
apple
apricot
arboreal
artisan
asset
astute
authority
bad
bad-tempered
ballistic
barks
beak
beef
beneficial
benevolent
bigger
-29
biped
bird
bleak
black-n-white
boring
bothersome
bovine
box
bred-for-meat
bred-for-wool
bright
brown
businessman
buying-event
cagebird
canary-songs
captain
careless
caring
carnivorous
cash
cd-rom
cell-walls
cellmate
cheerful
city-dwelling
claws
clever
climbing
clothing
chipmunk
cobra
commercial
communication
companion
company
complex
concrete
constable
container
contractual
convicted
country-dwelling
covering
cowherd
cramped
crime
criminal
crowded
cry
cultivator
deceptive
deciduous
depressing
desirable
diligent
director
dirty
dishonest
distinctive
dizzy
docile
dog
dog-lover
domesticated
donut-shaped
dummy
durable
eagle
early-riser
edible
educated
efficient
enamel
enclosed
enjoyable
equine
equitable
esthetically-pleasing
explosive
falcon
farmer
feathers
feathered
feline
female
ferocious
fertile
firearm
flammable
flies
floppy-eared
flowering
fluffy
forceful
fragile
free-time
frivolous
-37
fruit
fruit-bearing
furry
gas
gaseous
girl
gorgeous
grapes
green
grey
grooved
grouchy
ground-dweller
grower
grows-on-trees
hard
hard-surface
harmful
harmonious
harvester
hawk
head-instructor
heavy
herdsman
honorable
hoofed
horizontal
-33
human
hungry
hunter
ignorant
immoral
impatient
impetuous
inanimate
incendiary
increase
indigent
influential
instructor
intangible
intelligent
jailed
jailmate
judge
judicatory
juicy
land
lawful
lawmen
leather
legal-tender
likeable
listening-device
local
location
lonely
long
made-in-tibet
magpie
male
mammal
man-made
maned
mayor
mean
meat
medieval
medium-of-exchange
methodical
minted
miser
missing
mixture
mockingbird
monetary
mother
motor
mountains-of
mule
musical
naive
narrow
natural
neighbor
new-car
noisy
nutrient
nutritious
oak
object
official
old
oscine
panic
paper
patient
peaceful
pears
perennial
person
personal
petroleum
physical
physician
pioneer
pitted
place
plantation
plastic
platform
playful
pleasant
pointy-eared
policeman
policemen
pony
poor
pork
porous
possible
powerful
predatory
pretty
principal
prisoner
professional
professor
promising
property
provost
pulpy
pungent
puppy
quadriped
railroad-car
rattlesnake
raven
rectangular
reptile
requires
residence
robot
roofed
room
round
rubber
ruminant
sailor
salary-increase
settler
shelter
shepherd
sheriff
short
simple-minded
sings
skinny
snake
soft
squeeze
squirrel
stationary
stealthy
stereo
store
striped
structure
stubborn
student
successful
surface
surreptitious
sweet
sympathetic
tall
tangible
tasty
teacher
territorial
thankful
thanks
thin
time-unit
timepiece
toy
transportation
travel
unclaimed
unhappy
union
unique
unprincipled
upset
useful
valuable
varied
vehicle
veterinarian
vintager
vinyl
violator
violent
viper
vocal
warlike
warm-blooded
warm-hearted
water
water-lover
weak
weapon
western
wet
wide
wide-bored
wind-instrument
wings
winged
wooden
woody
work
workplace
worthless
yellow
yellowish-orange
young
abandon
able
activity
arrive
ask
attached
attack
awaken
believe
belongs-to
bestow-upon
between
beyond
break
build
burn
buy
capture
-43
change
climb
collide
commit
compatible
composed-of
confirm
confrontation
consumes
contact-between
controlled-by
converge
cover-with
decide
defend
demand
-23
desire
destroy
die
disappears
disappointed
discover
dislike
distract
divide
divide-between
do
do-daily
dream-about
drop
during
eat
edge-of
emerge
enable
enjoy
equals
err
expect
expose
fall-asleep
far-away
fight
find
flee
float
follows
friction
friends
frighten
get-drunk
give
goto
grab
group-of
grow
handle
has
has-part
held-by
hide-in
hold
hover
in
inflated
insist
job-of
land-at
leads-to
leave
listen
lives
locate
lock
lose
love
lower
make
manner
member-class
move
move-along
move-on
mstate
near
near-by
obtain
offer
on
operate
outcome
play
poss
-35
possess
predict
prevent
produce
promise
protects
purpose
pursue
put
quit
radiate
realize
reason
remember
replace
reprisal
request
result
return-to
rotates
run-from
same-as
say
search
see
sell
shout
show
simultaneous
sleep
sound
stores
supply-of
supply
supports
suspect
take
tend
tired-of
trust
try
understand
unable
unite
used-for
visit
vow
walk
waste
-26
:excl
while
win
wish
wound
rel-1
rel-2
rel-3
rel-4
rel-5
rel-6
rel-7
rel-8
rel-9
rel-10
rel-11
rel-12
rel-13
rel-14
rel-15
rel-16
rel-17
rel-18
rel-19
rel-20
rel-21
rel-22
rel-23
rel-24
rel-25
rel-26
rel-27
rel-28
rel-29
rel-30
rel-31
rel-32
rel-33
rel-34
rel-35
rel-36
rel-37
rel-38
rel-39
rel-40
rel-41
rel-42
rel-43
rel-44
rel-45
rel-46
rel-47
rel-48
rel-49
rel-50
rel-51
rel-52
rel-53
rel-54
rel-55
rel-56
rel-57
rel-58
rel-59
rel-60
rel-61
rel-62
rel-63
rel-64
rel-65
rel-66
rel-67
rel-68
rel-69
rel-70
rel-71
rel-72
rel-73
rel-74
rel-75
rel-76
rel-77
rel-78
rel-79
rel-100
rel-101
rel-102
rel-103
rel-104
rel-105
rel-106
rel-107
accessibility
add
affection-for
altitude
anger
axle
center
color
competence-of
condition
cost
desirability
education-level
estate
fear-of
financial-status
foot
forgetfulness
funds
functionality
gift-of
greyness
happiness
has-authority
hazards
health
height
hunger
image
length
loc
net-force
operation
personality-of
power
price
pstate
reach
recklessness
respect-for
safety
shape
size
strength
success
top-of
tread
value-of
weight
width
has-agent
has-object
solar-system
-77
Case
sun
planet
rutherford-atom
nucleus
electron
swater-flow
beaker
vial
pipe
sheat-flow
coffee
ice-cube
bar
terminal
stuff
thermodynamic-stuff
stuff-at
connected-to
out
in1
out1
in2
out2
heat-source
work-flows-in
work-flows-out
heat-flows-in
heat-flows-out
saturated
subcooled
substance
ideal-gas
real-gas
substance-of
thermodynamic-cycle
throttle
mixer
splitter
heat-exchanger
abstract-hx
cooler
heater
pump
compressor
turbine
work-converter
heat-flow
fluid-flow
compression
expansion
non-saturated
isobaric
isothermal
polytropic
non-polytropic
adiabatic
isentropic
cwa
-123
derived-by
skolem
-107
equation
-41
given
goal-parameter
log
ln
expt
sqr
saturation-table-for
superheated-table-for
heat-engine
heat-pump
refrigerator
ideal-rankine-cycle
purpose2
condenser
boiler
transform
spec-hg
spec-hf
spec-h
spec-sg
spec-sf
delta-spec-s
spec-s
spec-vg
spec-vf
spec-v
spec-ug
spec-uf
spec-u
s
n
spec-q
net-q
q-out
q-in
q
spec-shaft-work-isentropic
spec-shaft-work
shaft-work
net-work
work-out
work-in
w
nu-isentropic
work-ratio
cop-hp
cop-r
nu-thermal
delta-h-isentropic
delta-h
hout-isentropic
h
u
r
tout-isentropic
t-log-mean
delta-tout
delta-tin
delta-t
psat
tsat
t
molar-mass
kgmoles
flow-split
mass-flow
m
delta-p
dryness-isentropic
dryness
pr
p
v
gamma
hx-fiddle
cv
cp
already-read-example-info-for
already-examined-cis-for
gas-constants
air
R
1.4
29
716.7241
1003.4138
8314/29
ideal-co2
1.29
840.35004
651.43414
44.009
188.9159
helium
1.67
5176.856
3099.9138
4.003
2076.9424
compressor-example
cycle
c1-inlet
c1-outlet
compressor1
489.12384
2399.4404
600000.0
293.15
100000.0
500000.0
compressor-problem-for-mohave
compressor2
c2-in
c2-out
1.0
283.15
300000.0
-84
whalley-example-15p1
cc
s2
s3
atmos
s4
s1
comp
turb
0.104363516
36755.426
352186.56
651227.25
301024.12
350203.1
0.0
-350203.1
2970.573
1000000.0
1000
517.94745
483698.16
386958.53
0.8
2422.6174
300
579.2093
581186.6
1003413.8
-102
gas-turbine-example-basic
heater1
h-in
t-in
cooler1
cool-in
comp-in
turbine1
0.4662237
204887.56
439461.94
-262927.72
563951.9
562.0332
900000.0
300.0
3000.7788
533.7763
535598.5
1000.0
467815.3
9.0
gas-turbine-cycle-problem
turbine2
t2-in
cool2-in
comp2-in
h2-in
heater2
cooler2
773.15
303.15
-86
idealized-gas-turbine-cycle
0.48205253
203535.69
422227.16
280162.47
-280162.47
gas-turbine-w/reheat
hp-t
hpt-in
rh-in
lp-t
lpt-in
lpt-out
cc-in
reheat
400000.0
673.15
800000.0
373.15
298.15
heater-example
h1-in
h1-out
20068.275
344321.44
324253.16
343.15
245943.89
323.15
231609.4
heater-problem
h2-inlet
h2-outlet
313.15
2.0
turbine-example
t1-in
t1-out
8.0331864e+7
-8.0331864e+7
2566.093
473.15
281.96335
236947.9
500.0
1.1847395e+8
397611.62
1.9880581e+8
turbine-problem-for-mohave
t2-out
0.5
200000.0
vertebrates
tree
camera
strap
film
picture
visual
lens
shutter
st
cloud
sky
doctor
act1
good
tools
phd
drinking-straw
straw
mouth
helicopter
propeller
pilot
aircraft
fast
-25
hummingbird
low
humming
kite
wind
diamond
string
plant-stem
plant
stem
roots
organic-things
botanical-thing
n1
repairman
shoe
ground
sponge
agent
zero
tape-recorder
magnetic-tape
tape-recording
microphone
reels
tire
road
wasted-life
present
past
life
world
she
wasted-tap-water
tap
drain
path-in-air
p0
none
-45
base-10
boris
ivan
business
asset1
asset2
profit
fate
high
base-12
beedle
-60
man2
garden1
garden2
tree1
trees2
people1
1st-prize
-57
base-13
morris
harmonica
prison
cops1
boxcar
night
day
walls
time-of-day
obscenities
-56
base-15
lion
lamb1
lamb2
frederick
blunderbuss
sheep
flock
loc2
loc1
f
base-17
smith
johnson
jones
valley1
house1
house2
base-19
pierre
bird1
wedding-ceremony
slithering
fly
-42
base-5
karla
man1
cross-bow
deer
base-7
julius
windowsill
mountains-of-pears
-39
base-8
percy
animal2
song
seeds
singing
summertime
fa-10
john
christine
marriage
pleasure
revenge
-63
fa-12
mr_gerson
residence1
canary1
pets2
songs
-54
fa-13
jenny
person2
home
person3
yard1
yard2
location-of-play
fa-15
beggar
coins1
coins2
zebediah
thief
hoard
door
fa-17
betty
norma
mrs-lee
twenty-dollars1
fa-19
gene
wall
car
walking
drive
fa-5
zerdia
gagrach
supercomputer
missiles
fa-7
cindy
records
-40
fa-8
sam
gift
travelling
solvency
-38
ls-10
christian
-64
ls-12
vineyard1
vineyard2
grapevine1
grapevines2
ls-13
denny
kazoo
jail
police1
-51
ls-15
tiger
calf1
calf2
cattle
herd
ls-17
baggle
norton
leigh
canyon1
ls-19
ls-5
ls-7
sidney
beam
ls-8
nuts
ma-10
-62
ma-12
-53
ma-13
guards1
solitary-confinement
ma-15
ma-17
ma-19
ma-5
ma-7
ma-8
ta-10
ta-12
office2
ta-13
playground
-52
ta-15
ta-17
ta-19
ta-5
ta-7
ta-8
islike
-70
element-of
thermo
syslit-forward
syslit-backward
genlsCacheStatus
okay