blob: c0efe439dee24b7e98732731868fa7f24f54bf54 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
subsumesContentClass (desc ChristianBible ? ?) (desc NewTestament ? ?)
subsumesContentClass (desc ChristianBible ? ?) (desc OldTestament ? ?)
subsumesContentClass (desc NewTestament ? ?) (desc ChristianGospel ? ?)
equal (el ? ? ? (BeginFn (el ? ? ? BeforeCommonEra))) (el ? ? ? NegativeInfinity)
equal (el ? ? ? (EndFn (el ? ? ? CommonEra))) (el ? ? ? PositiveInfinity)
subOrganization (el ? ? ? UnitedStatesDepartmentOfState) (el ? ? ? (GovernmentFn (el ? ? ? UnitedStates)))
subOrganization (el ? ? ? UnitedStatesDepartmentOfInterior) (el ? ? ? (GovernmentFn (el ? ? ? UnitedStates)))
subOrganization (el ? ? ? UnitedStatesCongress) (el ? ? ? (GovernmentFn (el ? ? ? UnitedStates)))
initialPart (desc DigitAppendage ? ?) (desc Limb ? ?)
equal (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? MetricTon))) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2205)) (el ? ? ? PoundMass)))
equal (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? SquareMile))) (el ? ? ? (PerFn (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? Mile))) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? Mile)))))
equal (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? SquareYard))) (el ? ? ? (PerFn (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? YardLength))) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? YardLength)))))
meatOfAnimal (desc Beef ? ?) (desc Cow ? ?)
meatOfAnimal (desc ChickenMeat ? ?) (desc Chicken ? ?)
meatOfAnimal (desc Pork ? ?) (desc Pig ? ?)
meatOfAnimal (desc FishMeat ? ?) (desc Fish ? ?)
subField (el ? ? ? Physiology) (el ? ? ? Biology)
subField (el ? ? ? MedicalScience) (el ? ? ? Biology)
subField (el ? ? ? Electronics) (el ? ? ? Physics)
subField (el ? ? ? Electronics) (el ? ? ? Engineering)
initialPart (desc AnimalAnatomicalStructure ? ?) (desc Animal ? ?)
|
